Tahat, Luay, and Nada Almasri. 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.