An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe (Software Engineering (Workshops), 2020)

Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe (Software Engineering (Satellite Events), 2021)

Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe; Andreas Schweiger (J. Aerosp. Inf. Syst., 2025)

Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe; Sebastian Stüber; Lucas Wollenhaupt (Shaker, 2025)