Intervallmethoden zur Berechnung exponentieller Zustandseinschlüsse für die Erreichbarkeitsanalyse unsicherer Systeme.