Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets - Sven Sieverding; Christian Ellen; Peter Battram (FESCA, 2013)

A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design. - Peter Battram; Bernhard Kaiser; Raphael Weber (REFSQ Workshops, 2015)

Early Validation of Engineering Artifacts. - Karsten Albers; Peter Battram; Alfred Bognar; Veronika Brandstetter; Andreas Froese; Bastian Tenbergen; Andreas Vogelsang; Joachim Wegener (Advanced Model-Based Engineering of Embedded Systems, 2016)

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)