D. Coppit, and K. Sullivan. Proceedings of the 25th International Conference on Software Engineering, page 198--207. Washington, DC, USA, IEEE Computer Society, (2003)
M. Leuschel, and M. Butler. Formal Methods and Software Engineering, volume 3785 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/11576280_24.(2005)
M. Leuschel, and M. Butler. FME 2003: Formal Methods, volume 2805 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-540-45236-2_46.(2003)
M. Leuschel, and M. Fontaine. Formal Methods and Software Engineering, volume 5256 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-540-88194-0_18.(2008)
A. Sampaio, J. Woodcock, and A. Cavalcanti. FME 2002:Formal Methods—Getting IT Right, volume 2391 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/3-540-45614-7_26.(2002)