Title: Formaler Steuerungsentwurf Mit Modularen Diskreten Verhaltensmodellen