InstitutionDoi/1689

Title	Model-Based STPA: Towards Safety-Guided Design with Formalization
DOI	https://doi.org/10.1109/isse54508.2022.10005396
Raw Affiliation	Institute of Flight Systems,German Aerospace Center (DLR),Braunschweig,Germany
Clean Page Target	Institute of Flight Systems,German Aerospace Center (DLR),Braunschweig,Germany