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)
B. Melhart, N. Leveson, and M. Jaffe. IWSSD '89: Proceedings of the 5th international workshop on Software specification and design, page 100--103. New York, NY, USA, ACM, (1989)
R. Eshuis, and R. Wieringa. Fourth International Conference on Formal methods for open object-based distributed systems IV, page 121--140. Norwell, MA, USA, Kluwer Academic Publishers, (2000)
W. Chan, R. Anderson, P. Beame, and D. Notkin. ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, 23, page 102--112. New York, NY, USA, ACM Press, (March 1998)