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)
Y. Yu, H. Fard, J. Mylopoulos, and P. Andritsos. International Conference on Software Maintenance (ICSM 2005), page 59--68. Budapest, Hungary, The IEEE Computer Society, (September 2005)