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://doi.org/10.15282/ijsecs.4.2.2018.1.0045.