Formaler Steuerungsentwurf Mit Modularen Diskreten Verhaltensmodellen | lit.salon