1. Biere A., Cimatti A., Clarke E.M., Strichman O., Zhu Y.: Bounded model checking. Adv. Comput. 58, 118–149 (2003)
2. Copty, F., Fix, L., Giunchiglia, E., Kamhi, G., Tacchella, A., Vardi, M.: Benefits of bounded model checking at an industrial setting. In: Proceedings of 13th International Conference on Computer Aided Verification (CAV 2001), 18–22 July, Paris, France. Lecture Notes in Computer Science, pp. 436–453. Springer, Berlin (2001)
3. Castellani, I., Mukund, M., Thiagarajan, P.S.: Synthesizing distributed transition systems from global specification. In: Proceedings of the 19th Conferenceon Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1999), 13–15 December, Chennai, India. Lecture Notes in Computer Science, vol. 1738, pp. 219–231. Springer, Berlin (1999)
4. Dutertre B., de Moura L.M.: A fast linear-arithmetic solver for dpll(t). In: Ball, T., Jones, R.B. (eds.) CAV. Lecture Notes in Computer Science, vol. 4144, pp. 81–94. Springer, Berlin (2006)
5. Ehlers R.: Symbolic bounded synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) In: 22nd International Conference on Computer Aided Verification. LNCS, vol. 6174, pp. 365–379. Springer, Berlin (2010)