Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 679-686, 2017 , Porto, Portugal