Model repair for probabilistic systems
Model evolution by run-time parameter adaptation