1. Arnold, K., Gosling, J., Holmes, D.: Java Programming Language, 4th edn. Addison-Wesley Professional, Boston (2005)
2. Clarke, E.M.: Model checking. Lect. Notes Comput. Sci. 164(2), 305–349 (1999)
3. Holzmann, J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279–295 (1997)
4. Cavada, R., Cimatti, A., Jochim, C.A.: NuSMV 2.5 user manual.
http://nusmv.fbk.eu/NuSMV/userman/v25/nusmv.pdf
5. Ball, T., Rajarnani, S.K.: The SLAM project: debugging system software via static analysis. In: POPL 2002, pp. 1–3 (2002)