TITLE     : Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods - Complementary data
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2022
CODE      : 485293

*** DO NOT EDIT THIS FILE ***