Aung, M. T., T. T. Thanh Nguyen, and K. Ogata. “GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK”. International Journal of Software Engineering and Computer Systems, vol. 4, no. 2, Aug. 2018, pp. 1-18, https://journal.ump.edu.my/ijsecs/article/view/191.