E. Emerson, and K. Namjoshi. LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, page 70. Washington, DC, USA, IEEE Computer Society, (1998)
T. Minamikawa, T. Tsuchiya, and T. Kikuno. PRDC '08: Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, page 40--47. Washington, DC, USA, IEEE Computer Society, (2008)
T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 221--234. London, UK, Springer-Verlag, (2001)
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)
G. Holzmann, and D. Peled. Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII, page 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, page 219--234. London, UK, Springer-Verlag, (1999)