G. Lüttgen, M. von der Beeck, and R. Cleaveland. SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, 25, page 120--129. New York, NY, USA, ACM Press, (November 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)
Y. Wang, J. Talpin, A. Benveniste, and P. Guernic. Object-Oriented Real-Time Distributed Computing, 2000. (ISORC 2000) Proceedings. Third IEEE International Symposium on, page 96--103. (2000)
P. Noe, P. Noe, T. Hartrum, and T. Hartrum. National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000, page 43--50. (2000)
J. Whittle, and J. Schumann. ICSE '00: Proceedings of the 22nd international conference on Software engineering, page 314--323. New York, NY, USA, ACM Press, (2000)