IAMP Safety Critical Systems Working Papers Towards a modeling language for Systems- Theoretic Process Analysis (STPA) Proposal for a domain specific language (DSL) for model driven Systems-Theoretic Process Analysis (STPA) based on UML Issue: 1 Date: 03.11.2016 Authors: Sven Stefan Krauss, Martin Rejzek, Monika Reif, Christian Hilbes