TITLE     : Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
AUTHOR(S) : Basile D, Ter Beek Mh, Ferrari  A, Legay A
TYPE      : Journal article
YEAR      : 2022
CODE      : 466148

*** DO NOT EDIT THIS FILE ***