Safety Patterns - The Key to Formal Specification of Safety Requirements. - Friedemann Bitsch (SAFECOMP, 2001)

Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. - Saeid Arabestani; Friedemann Bitsch; Jan-Tecker Gayen (SoftSpez Final Report, 2004)

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik. - Friedemann Bitsch (Shaker, 2007)

Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. - Friedemann Bitsch; Ulrich Feucht; Huw Gough (SAFECOMP, 2009)

Challenges for MBSE and PLE for Legacy Product-Based System Environments. - Michael Schäfer; Friedemann Bitsch; Stephan Weißleder; Florian Wartenberg (CSDM, 2016)