This SysML v2 safety library focuses on the System-Theoretic Process Analysis (STPA). STPA is a modern and system-theoretic hazard analysis that targets identifying and addressing specification issues of complex safety-critical systems. The library design and application is explained in this open-access publication:
doi.org/10.1002/sys.70057