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)
P. Mohagheghi, B. Anda, and R. Conradi. ICSE '05: Proceedings of the 27th international conference on Software engineering, page 303--311. New York, NY, USA, ACM Press, (2005)