Media type: E-Article Title: Model-Based Safety and Assessment: Modeling the Variability of System Safety Analysis Using State-Machine Diagrams Contributor: Bressan, Lucas; de Oliveira, André L.; Campos, Fernanda C.; Montecchi, Leonardo; Capilla, Rafael; Parker, David; Aslansefat, Koorosh; Papadopoulos, Yiannis imprint: Springer International Publishing, 2022 Published in: Model-Based Safety and Assessment Language: Not determined DOI: 10.1007/978-3-031-15842-1_4 ISSN: 0302-9743; 1611-3349 Origination: Footnote: