Add second safety requirements, support for STPA