Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.