Aung, M. T., Thanh Nguyen, T. T., & 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), 1–18. Retrieved from https://journal.ump.edu.my/ijsecs/article/view/191