Peter Braun, Jan Philipps, Bernhard Schätz, and Stefan Wagner. Model-Based Safety-Cases for Software-Intensive Systems. Electronic Notes in Theoretical Computer Science, (238)4:71 - 77, 2009. [PUMA: iste-se model-based myown safety safety-case] URL