Executable Documentation: Test-First in Action. - Steven Smyth; Jette Petzold; Jonas Schürmann; Florian Karbus; Tiziana Margaria; Reinhard von Hanxleden; Bernhard Steffen (ISoLA (2), 2022)

Tool Support for System-Theoretic Process Analysis. - Jette Petzold; Reinhard von Hanxleden (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022)

PASTA: Pragmatic Automated System-Theoretic Process Analysis. - Jette Petzold; Jana Kreiß; Reinhard von Hanxleden (DSN, 2023)

An Interactive Graph Layout Constraint Framework. - Jette Petzold; Sören Domrös; Connor Schönberner; Reinhard von Hanxleden (VISIGRAPP (3: IVAPP), 2023)

From STPA to Safe Behavior Models. - Jette Petzold; Reinhard von Hanxleden (CoRR, 2024)

Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. - Jette Petzold; Reinhard von Hanxleden (MODELSWARD, 2025)

Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. - Jette Petzold; Reinhard von Hanxleden (SAFECOMP, 2025)