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 (Aug. 2018), 1–18.