Automatic Firmware Verification for Automotive Applications

Author(s):
Torsten Andre and Daniel Valtiner