UML offers an unprecedented opportunity for high-quality critical systems development that is feasible in an industrial context.

• As the de-facto standard in industrial modeling, a large number of developers is trained in UML.
• Compared to previous industrial notations with a user community of comparable size, UML is relatively precisely defined.
• A number of tools are being developed to assist the every-day work using UML.

This tutorial aims to give background knowledge on using UML for the formal development of critical systems and to contribute to overcoming these challenges.
As an example application domain, we focus on security-critical systems. We also show how to generalize the approach to the other application domains mentioned. The tutorial includes a demo of a prototypical tool for the formal analysis of UML models for critical requirements, which is based on XMI.