C. Bird, D. Pattison, R. D'Souza, V. Filkov, and P. Devanbu. Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, page 24--35. New York, NY, USA, ACM, (2008)
A. van Lamsweerde. Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, page 238--249. New York, NY, USA, ACM, (2008)
D. Lucrédio, R. de M. Fortes, E. de Almeida, and S. Meira. High Confidence Software Reuse in Large Systems, volume 5030 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)