An Estimate of the Punctuality Benefits of Automatic Operational Train Sequencing. - Rien Gouweloos; Maarten Bartholomeus (ATMOS, 2004)

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. - Maarten Bartholomeus; Bas Luttik; Tim A. C. Willemse (FMICS, 2018)