Model Checking Data-Dependent Real-Time Properties of the European Train Control System.

Johannes Faber, Roland Meyer

Browse the full FMCAD paper archive.