A. van Lamsweerde. ICSE '04: Proceedings of the 26th International Conference on Software Engineering, стр. 148--157. Washington, DC, USA, IEEE Computer Society, (2004)
C. Haley, R. Laney, и B. Nuseibeh. AOSD '04: Proceedings of the 3rd international conference on Aspect-oriented software development, стр. 112--121. New York, NY, USA, ACM, (2004)
I. Alexander. RE '02: Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering, стр. 61--70. Washington, DC, USA, IEEE Computer Society, (2002)