Formale Systeme - Entwurf