N. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety, 2011.

N. Leveson, J. Thomas, and . Handbook, , 2018.

C. Ericson, Fault tree analysis -a history, Proceedings of the 17th International System Safety Conference, 1999.

M. Mil-std-1629a and . Standard, Procedures for Performing a Failure Mode, Effects and Criticality Analysis, Department of Defense, 1980.

E. Harkleroad, A. Vela, and J. Kuchar, Review of Systems-Theoretic Process Analysis (STPA) Method and Results to Support NextGen Concept Assessment and Validation, 2013.

. Sysml and . Org, OMG Systems Modeling Language Version 1, 2017.

O. Casse, SysML in Action with Cameo Systems Modeler, ISTE, 2017.

, Entreprise Architect

T. L. Sergent, A. L. Guennec, S. Gerard, Y. Tanguy, and F. Terrier, Using SCADE System for the Design and Integration of Critical Systems, SAE Technical Paper, 2011.

S. Grard, C. Dumoulin, P. Tessier, and B. Selic, Papyrus: A UML2 tool for domain-specific language modeling, pp.361-368, 2007.

, TTool

G. Pedroza, D. Knorreck, and L. Apvrille, AVATAR: a SysML environment for the formal verification of safety and security properties, The 11th IEEE Conference on Distributed Systems and New Technologies, 2011.

P. De-saqui-sannes and L. Apvrille, Making modeling assumptions an explicit part of real-time systems models, 8th European Congress on Embedded Real Time Software and Systems (ERTS), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01291947

A. Dakwat and E. Villani, System safety assessment based on STPA and model checking, Safety Science, vol.109, pp.130-143, 2018.

J. Pétin, D. Evrot, G. Morel, and P. Lamy, Combining SysML and formal methods for safety requirements verification, 22nd International Conference on Software Systems Engineering and their Applications, 2010.

S. Krauss, M. Rejzek, and C. Hilbes, Tool qualification considerations for tools supporting STPA, Procedia Engineering, vol.128, pp.15-24, 2015.

M. Hurley and J. Wankel, Safety guided design using STPA and model based system engineering (MBSTPA), 2019 STAMP Workshop

D. Rinehart, J. Knight, and J. Rowanhill, Understanding what it means for assurance cases to work, NASA/CR2017-219582, 2017.

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on UPPAAL" Formal Methods for the Design of Real-Time Systems, 2004.

F. Souza, D. Pereira, R. Pagliares, S. Nadjm-tehrani, and C. Hirata, WebSTAMP: a web application for STPA & STPA-Sec, International Cross-industry Safety Conference (ICSC) -European STAMP Workshop & Conference (ESWC)