September 14, 2020September 21, 2020 Andreas Zak Virtual Validation and Verification for Embedded Systems