Aung, May Thu, Tam Thi Thanh Nguyen, and Kazuhiro Ogata. “GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK”. International Journal of Software Engineering and Computer Systems 4, no. 2 (August 31, 2018): 1–18. Accessed April 16, 2024. https://journal.ump.edu.my/ijsecs/article/view/191.