M. L. Shafie and W. M. N. Wan Kadir, “Test Case Prioritization based on Extended Finite State Machine Model”, JTEC, vol. 9, no. 3-3, pp. 125–132, Oct. 2017.