Title: Computing minimal changes of models and systems