M. Bobaru, C. Pasareanu, and D. Giannakopoulou. CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, page 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)
E. Clarke, D. Long, and K. McMillan. Proceedings of Fourth Annual Symposium on Logic in Computer Science, page 353--361. Washington D.C., IEEE Computer Society Press, (1989)
K. McMillan. CHARME '99: Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, page 219--234. London, UK, Springer-Verlag, (1999)