Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme