1. Lecture Notes in Computer Science;M. Ben-Ari,2009
2. Holzmann, G.J.: The Spin Model Checker – Primer and Reference Manual. Addison-Wesley, Boston (2004)
3. de Jonge, M.: The SpinJ Model Checker. Master’s thesis, University of Twente, Enschede, The Netherlands (September 2008)
4. Kattenbelt, M.A.: Towards an Explicit-State Model Checking Framework. Master’s thesis, University of Twente, Enschede, The Netherlands (September 2006)
5. Kattenbelt, M.A., Ruys, T.C., Rensink, A.: An Object-Oriented Framework for Explicit-State Model Checking. In: Proc. of VVSS 2007, Eindhoven, The Netherlands, March 2007. pp. 84–92. TUE Computer Science Reports, Nr. 07-04 (2007)