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)
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)