A. van Lamsweerde. ICSE '04: Proceedings of the 26th International Conference on Software Engineering, page 148--157. Washington, DC, USA, IEEE Computer Society, (2004)
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, (2004)