1. Lecture Notes in Computer Science;O. Andrei,2005
2. Ben-Ari, M.: Principles of the Spin Model Checker. Springer, London (2008)
3. Lecture Notes in Computer Science;F. Bernardini,2007
4. Natural Computing Series,2006
5. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)