(with or without extensions such as UMLSec or SecureUML), with AOM used
to map crosscutting aspects to transformational model entities. Research
into the use of AOM for modeling software dependability requirements and
design aspects, and to model security policies for software-based systems