- [ ] Require simulation tools to output changed models - [ ] Directly check changed models, rather than trying to infer model changes through simulation results