Firmware Firmly under Control: New Optimization and Verification Techniques for Application Specific Electronic System Author(s): Daniel Große, Manuel Strobel, Daniel Mueller-Gritschneder, Vladimir Herdt, and Tobias Ludwig Download