Title: Automated Analysis of Virtual Prototypes at the Electronic System Level