Aung, M.T. et al. 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. DOI:https://doi.org/10.15282/ijsecs.4.2.2018.1.0045.