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)
M. Talupur, and M. Tuttle. FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, page 1--8. Piscataway, NJ, USA, IEEE Press, (2008)
G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)