Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications - Goli; Drechsler, Rolf (Springer International Publishing, 2020)