Short works
- A Formal Mapping between UML models and Object-Z Specifications. 2000. (In ZB 2000 )
- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. 2002. (In ZB 2002 )
- A rigorous foundation for pattern-based design models. 2005. (In ZB 2005 )