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)