Design & verification of automotive SoC firmware. - Veit B. Kleeberger; Stefan Rutkowski; Ruth Coppens (DAC, 2015)