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