Title: Entwurf und Diagnose Komplexer Digitaler Systeme