S. Greenspan, J. Mylopoulos, and A. Borgida. ICSE '94: Proceedings of the 16th international conference on Software engineering, page 135--147. Los Alamitos, CA, USA, IEEE Computer Society Press, (1994)
J. Conklin, and M. Begeman. CSCW '88: Proceedings of the 1988 ACM conference on Computer-supported cooperative work, page 140--152. New York, NY, USA, ACM Press, (1988)
J. Lee. ICSE '91: Proceedings of the 13th international conference on Software engineering, page 114--125. Los Alamitos, CA, USA, IEEE Computer Society Press, (1991)
M. Ginsberg. TARK '90: Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge, page 273--287. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (1990)
J. Jurjens. ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06), page 167--176. Washington, DC, USA, IEEE Computer Society, (2006)