public domain:
u UMLSec—[205] The emphasis of the Security and Safety in Software
EngineeringWG lies in the methodological development of
security-critical systems, including the use of formal methods under the