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