1. Detecting OCL Traps in the UML 2.0 Superstructure;Bauerdick,2004
2. Design of a Railway Domain Profile and its OCL-based Validation;Berkenkötter;Electronic Communications of the EASST,2007
3. OCL-basesd Validation of a Railway Domain Profile;Berkenkötter,2007
4. Modeling the Railway Control Domain rigorously with a UML 2.0 Profile;Berkenkötter,2006
5. Towards a Formalization of the Unified Modeling Language;Breu,1997