Towards a Novel Approach to Railway Safety Using STPA and Promise Theory. - Felix Schaber; Atif Mashkoor; Michael Leuschel (SFPVV, 2024)

Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems. - Felix Schaber; Atif Mashkoor; Michael Leuschel (FMICS, 2025)