Test case generation from formal specifications on the example of train control systems
Discrete-event simulation of railway systems with hybrid models
SATNAB - validation of a satellite based ground navigation system
Distributed multi-train simulation using real components