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