Automated analysis of virtual prototypes at the electronic system level design understanding and applications - Goli, Mehran; Drechsler, Rolf (Springer, 2020)