1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;N Dershowitz,2005
3. Advances in Computers;A Biere,2003
4. Huang, X., van der Meyden, R.: Symbolic Model Checking Epistemic Strategy Logic, pp. 1426–1432, AAAI (2014)
5. Penczek, W., Wozna, B., Zbrzezny, A.: Bounded model checking for the universal fragment of CTL. Fundamenta Informaticae 51, 135–156 (2002)