Berkenkötter K. Design of a Railway Domain Profile and its OCL-based Validation. ECEASST [Internet]. 2007 Jul. 5 [cited 2026 Mar. 19];5. Available from: https://www.eceasst.org/index.php/eceasst/article/view/1423