Formale Methoden für Reaktive Systeme