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