Automatisierte Analyse Von Virtuellen Prototypen Auf der Ebene Elektronischer Systeme | lit.salon