1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
2. Biere, A., Cimatti, A., Clarke, E., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Proceedings of the ACM DAC 1999, pp. 317–320 (1999)
3. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
4. LNAI;B Woźna-Szcześniak,2014
5. Zbrzezny, A.M., Zbrzezny, A.: A comparison of SAT-based and SMT-based bounded model checking methods for ECTL*. In: Proceedings of the Workshop CS&P 2014. CEUR Workshop Proceedings, vol. 1269, pp. 293–300 (2014)