M. T. Aung, T. T. Thanh Nguyen, and K. Ogata, “GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK”, IJSECS, vol. 4, no. 2, pp. 1–18, Aug. 2018, doi: 10.15282/ijsecs.4.2.2018.1.0045.