TITLE     : Ten diverse formal models for a CBTC automatic train supervision system
AUTHOR(S) : Mazzanti F, Ferrari A
TYPE      : Conference article
YEAR      : 2018
CODE      : 391745

*** DO NOT EDIT THIS FILE ***