Development and Verification of Embedded Firmware using Virtual System Prototypes. - Thomas Eckart; Martin Schnieringer (SoC, 2006)