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