Arnaud Boyer, Bastian Tenbergen, Santiago Velasco, Pablo Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer. Modular Safety Assurance. In Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger, editors, Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology. pages 169-196, Springer, 2016. [doi]
Abstract is missing.