Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure.”https://doi.org/10.1109/ICSE.2001.919196__In Proceedings of the 23rd International Conference on Software Engineering, 835–36. IEEE, 2001.https://doi.org/10.1109/ICSE.2001.919196 .