Aung MT, Thanh Nguyen TT, Ogata K. GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK. IJSECS. 2018;4(2):1-18. Accessed April 8, 2025. https://journal.ump.edu.my/ijsecs/article/view/191