A. Krupp, W. Mueller, and I. Oliver. Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, 3, page 102--107 Vol.3. (2004)
H. Wehrheim. FMOODS '02: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, page 79--93. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2002)