Development and Verification of Embedded Firmware using Virtual System Prototypes | IEEE Conference Publication | IEEE Xplore