aspect of official certification. This group, at the Technical University of
Munich, developed both UMLSec and an extension of the AutoFocus
CASE tool that adds security information. The AutoFocus extension
allows the seamless consideration of security aspects in the