L. Bichler, A. Radermacher, и A. Schürr. Object-Oriented Real-Time Dependable Systems, 2002. (WORDS 2002). Proceedings of the Seventh International Workshop on, стр. 271--278. (2002)
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, стр. 29--43. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2002)
D. Latella, и M. Massink. ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, 27, стр. 144--153. New York, NY, USA, ACM Press, (июля 2002)
J. Sourrouille, и G. Caplat. SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, стр. 217--224. New York, NY, USA, ACM, (2002)