P. Nikfard, S. B. Ibrahim, B. D. Rohani, H. B. Selamat, and M. N. Mahrin, “An Evaluation for Model Testability approaches”, IJCT, vol. 9, no. 1, pp. 938–947, Jun. 2013.