Return to Article Details Design of a Railway Domain Profile and its OCL-based Validation Download Download PDF