G. Grau, C. Cares, X. Franch, und F. Navarrete. International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, USA, (Juli 2006)
R. Darimont, und A. v. van Lamsweerde. SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, 21, Seite 179--190. New York, NY, USA, ACM Press, (November 1996)