R. Darimont, и A. v. van Lamsweerde. SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, 21, стр. 179--190. New York, NY, USA, ACM Press, (ноября 1996)
G. Grau, C. Cares, X. Franch, и F. Navarrete. International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, USA, (июля 2006)