: Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.
: The UML family: Profiles, Prefaces and Packages.
: Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse.
: Rewrite rules and Operational Semantics for Model Checking UML Statecharts.
: Part-Whole Statecharts for the Explicit Representation of Compound Behaviors.