Maurice H. ter Beek Models for formal methods and tools: the case of railway systems. 1935-1954 2025 December 24 Softw. Syst. Model. 6 https://doi.org/10.1007/s10270-025-01276-3 db/journals/sosym/sosym24.html#Beek25 streams/journals/sosym