Aung, M. T.; Thanh Nguyen, T. T.; Ogata, K. GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK. IJSECS 2018, 4 (2), 1-18.