K. Berkenkötter, “Design of a Railway Domain Profile and its OCL-based Validation”, eceasst, vol. 5, Jul. 2007.