Meinten Sie:
sicherheitstechnik*
•
sicherheitstechn*
Umschreibung von Zustandsdiagrammen der UML für das Model-Checking