Back to article JACST Identifying the Effect of Model Modifications in State-Based Models and Systems Download Download PDF