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