A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. - Stefan Wagner 001; Bernhard Schätz; Stefan Puchner; Peter Kock (ISSRE, 2010)