Reliability Assessment of Safety-Relevant Automotive Systems in a Model-Based Design Flow

by Sebastian Reiter, Michael Pressler, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel
In 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 417–422. IEEE, 2013.