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