Models for formal methods and tools: the case of railway systems. - ter Beek, M. H. (Software & Systems Modeling, 2025)