S. Jha, L. Kruger, and V. Shmatikov. Proceedings of the 2008 IEEE Symposium on Security and Privacy, page 216--230. Washington, DC, USA, IEEE Computer Society, (2008)
R. Darimont, and A. v. van Lamsweerde. SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, 21, page 179--190. New York, NY, USA, ACM Press, (November 1996)