L. Tahat and N. Almasri, “Identifying the Effect of Model Modifications in State-Based Models and Systems”, JACST, vol. 2, no. 1, pp. 9–27, Nov. 2012, doi: 10.14419/jacst.v2i1.538.