J. Jürjens. FMOODS '02: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, page 29--43. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2002)
J. Niu, J. Atlee, and N. Day. SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, page 149--158. New York, NY, USA, ACM Press, (2002a)