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)
H. Mouratidis, P. Giorgini, and G. Manson. Proceedings of the KES 2003 Invited Session Ontology and Multiagent Systems Desing (OMASD'03), University of Oxford, United Kingdom, (September 2003)
P. Sancho, C. Juiz, R. Puigjaner, L. Chung, and N. Subramanian. WOSP '07: Proceedings of the 6th international workshop on Software and performance, page 125--128. New York, NY, USA, ACM Press, (2007)
C. Haley, R. Laney, J. Moffett, and B. Nuseibeh. RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International (RE'04), page 102--111. Washington, DC, USA, IEEE Computer Society, (2004)
H. Wang, Y. Zhang, and J. Cao. InfoScale '06: Proceedings of the 1st international conference on Scalable information systems, page 6. New York, NY, USA, ACM Press, (2006)