1. Baier, C., & Katoen, J.-P. (2008). Principles of model checking. Cambridge, MA: MIT Press. ISBN: 9780262026499.
2. Behrmann, G., David, A., & Larsen, K. G. (2006). A Tutorial on Uppaal 4.0. Aalborg, Denmark. url:
http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf
.
3. Cimatti, A., Clarke, E., Giunchiglia, F., & Roveri, M. (2000). NUSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2(4), 410–425.
https://doi.org/10.1007/s100090050046
.
4. Clarke, E. M., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: MIT Press.
5. Daszczuk, W. B. (2001). Evaluation of temporal formulas based on “Checking By Spheres.” In Proceedings Euromicro Symposium on Digital Systems Design, Warsaw, Poland, 4–6 Sept. 2001 (pp. 158–164). IEEE.
https://doi.org/10.1109/dsd.2001.952267
.