442 Razali, R and Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model ? A Series of Controlled Experiments. In: 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007.