Shafie, M. L., and W. M. N. Wan Kadir. “Test Case Prioritization Based on Extended Finite State Machine Model”. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), vol. 9, no. 3-3, Oct. 2017, pp. 125-32, https://jtec.utem.edu.my/jtec/article/view/2888.