Title: Entwurf und Diagnose komplexer digitaler Systeme