1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;N Dershowitz,2005
3. Biere, A., Cimmatti, A., Clarke, E., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117–148 (2003)
4. Lecture Notes in Computer Science;K Heljanko,2005
5. Penczek, W., Wozna, B., Zbrzezny, A.: Bounded model checking for the universal fragment of CTL. Fundam. Inform. 51, 135–156 (2002)