Lightweight Contracts for Safety-Critical Automotive Systems. - Bernhard Kaiser; Stefan Sonski; Suryo Buono; Hauke Petersen; Justyna Zander (GI-Jahrestagung, 2015)

An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models. - Suryo Buono; Viktor Ramich; Bernhard Kaiser; Justyna Zander (Software Engineering (Workshops), 2015)

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)