N. Mehta, N. Medvidovic, и S. Phadke. ICSE '00: Proceedings of the 22nd international conference on Software engineering, стр. 178--187. New York, NY, USA, ACM Press, (2000)
M. Dias, и M. Vieira. IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design, стр. 133--137. Washington, DC, USA, IEEE Computer Society, (2000)
M. Nanda, и S. Ramesh. ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, стр. 180--190. New York, NY, USA, ACM Press, (2000)
R. Eshuis, и R. Wieringa. Fourth International Conference on Formal methods for open object-based distributed systems IV, стр. 121--140. Norwell, MA, USA, Kluwer Academic Publishers, (2000)