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