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)
B. Nuseibeh, and S. Easterbrook. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, page 35--46. New York, NY, USA, ACM Press, (May 2000)
Y. Yu, Y. Wang, J. Mylopoulos, S. Liaskos, A. Lapouchnian, and Julio. RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), page 363--372. Washington, DC, USA, IEEE Computer Society, (2005)
C. Haley, R. Laney, and B. Nuseibeh. AOSD '04: Proceedings of the 3rd international conference on Aspect-oriented software development, page 112--121. New York, NY, USA, ACM Press, (2004)