"Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum."

Alcino Cunha, Nuno Macedo (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics