Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme Design, Verständnis und Anwendungen - Goli, Mehran; Drechsler, Rolf 1969- (Springer Vieweg, 2023)