Tahat, L. and Almasri, N. (2012) “Identifying the Effect of Model Modifications in State-Based Models and Systems”, Journal of Advanced Computer Science & Technology, 2(1), pp. 9–27. doi:10.14419/jacst.v2i1.538.