1. Clarke E M, Grumberg O, Peled D A. Model Checking. London: The MIT Press, 2000
2. Goranko V, Galton A. Temporal logic. In: The Stanford Encyclopedia of Philosophy. San Francisco: Metaphysics Research Lab, Stanford University, 2015
3. Holzmann G J. The SPIN Model Checker-Primer and Reference Manual. Boston: Addison-Wesley, 2004
4. Cimatti A, Clarke E M, Giunchiglia E, et al. Nusmv 2: an opensource tool for symbolic model checking. In: Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002). Berlin: Springer, 2002. 359–364
5. McMillan K L. Symbolic Model Checking. Norwell: Kluwer Academic Publisher, 1993