„… software faults by observing incorrect behaviour. Usually, testing strategies aimed at this purpose rely on …” „… of such a model-based specification, the testing strategies summarized above can be transferred from …” „… reconfiguration strategies are re-routing for the purpose of collision avoidance or of energy recharging as well …”