Title: Automatisierte Analyse Von Virtuellen Prototypen Auf der Ebene Elektronischer Systeme