Aung, M. T., Thanh Nguyen, T. T. and Ogata, K. (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), pp. 1–18. Available at: https://journal.ump.edu.my/ijsecs/article/view/191 (Accessed: 28 April 2024).