C. Neuwirth, D. Kaufer, R. Chandhok, and J. Morris. Proceedings of the 1994 ACM conference on Computer supported cooperative work, page 145--152. ACM Press, (1994)
W. Chan, R. Anderson, P. Beame, and D. Notkin. ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, 23, page 102--112. New York, NY, USA, ACM Press, (March 1998)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)