InstitutionDoi/1708

Title	Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization
DOI	https://doi.org/10.1109/dasc55683.2022.9925883
Raw Affiliation	German Aerospace Center (DLR),Institute of Flight Systems,Braunschweig,Germany
Clean Page Target	German Aerospace Center (DLR),Institute of Flight Systems,Braunschweig,Germany