Berkenkötter, K. Design of a Railway Domain Profile and Its OCL-Based Validation. eceasst 2007, 5.