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