Automated Safety Verification for Automotive Microcontrollers Author(s): H. Busch Type: Paper Download