H. Fard, Y. Yu, J. Mylopoulos, and P. Andritsos. Fundamental Approaches to Software Engineering (FASE 2005), page 96--110. Edinburgh, UK, The IEEE Computer Society, (April 2005)
E. Yu, and J. Mylopoulos. ICSE '94: Proceedings of the 16th international conference on Software engineering, page 159--168. Los Alamitos, CA, USA, IEEE Computer Society Press, (1994)