Modular Safety Assurance. - Arnaud Boyer; Bastian Tenbergen; Santiago Velasco; Pablo Oliveira Antonino; Peter Battram; Suryo Buono; Bernhard Kaiser; Justyna Zander; Kai Bizik; Alexander Prohaska; Michael Käßmeyer (Advanced Model-Based Engineering of Embedded Systems, 2016)