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