A. Simons. Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, 2000, page 8--1. (2000)
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)
M. von der Beeck. FORTE/PSTV 2000: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), page 335--350. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2000)
S. Uchitel, T. Systä, and A. Zündorf. Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on, page 659--660. (2002)
I. Krüger, R. Grosu, P. Scholz, and M. Broy. DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, page 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)