E. Emerson, и K. Namjoshi. LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, стр. 70. Washington, DC, USA, IEEE Computer Society, (1998)
T. Minamikawa, T. Tsuchiya, и T. Kikuno. PRDC '08: Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, стр. 40--47. Washington, DC, USA, IEEE Computer Society, (2008)
T. Arons, A. Pnueli, S. Ruah, J. Xu, и L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, стр. 221--234. London, UK, Springer-Verlag, (2001)
E. Clarke, D. Long, и K. McMillan. Proceedings of Fourth Annual Symposium on Logic in Computer Science, стр. 353--361. Washington D.C., IEEE Computer Society Press, (1989)
G. Holzmann, и D. Peled. Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII, стр. 197--211. London, UK, UK, Chapman & Hall, Ltd., (1995)
K. McMillan. CHARME '99: Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, стр. 219--234. London, UK, Springer-Verlag, (1999)