S. Weiner, M. Hasson, O. Kupferman, E. Pery, and Z. Shevach. Automated Technology for Verification and Analysis, volume 8172 of Lecture Notes in Computer Science, Springer International Publishing, (2013)
L. Grunske, and P. Zhang. Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, page 183--192. New York, NY, USA, ACM, (2009)