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