TITLE     : Formal methods for the railway sector
AUTHOR(S) : Ter Beek Mh, Fantechi A, Ferrari A, Gnesi S, Scopigno R
TYPE      : Journal article
YEAR      : 2018
CODE      : 382382

*** DO NOT EDIT THIS FILE ***