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