1. [1] D. Engler and M. Musuvathi, “Static Analysis versus Software Model Checking for Bug Finding,” Verification, Model Checking, and Abstract Interpretation, ed. B. Steffen and G. Levi, Berlin, Heidelberg, vol.2937, pp.191-210, Springer Berlin Heidelberg, 2004. 10.1007/978-3-540-24622-0_17
2. [2] A. Miné, “Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities,” Electronic Notes in Theoretical Computer Science, vol.331, pp.3-39, March 2017. 10.1016/j.entcs.2017.02.002
3. [3] E.M. Clarke, O. Grumberg, D. Kroening, D.A. Peled, and H. Veith, Model checking, MIT Press, 2018.
4. [4] M. Mansouri-Samani, P.C. Mehlitz, C.S. Pasareanu, J.J. Penix, G.P. Brat, L.Z. Markosian, O. O'Malley, T.T. Pressburger, and W.C. Visser, “Program Model Checking: A Practitioner's Guide,” 2008.
5. [5] G.J. Holzmann, The SPIN Model Checker-primer and reference manual, Addison-Wesley, 2004.