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