TITLE     : Model-based evaluation of the availability of a CBTC system.
AUTHOR(S) : Ferrari A, Itria M L, Chiaradonna S, Spagnolo G O
TYPE      : Conference article
YEAR      : 2012
CODE      : 219864

*** DO NOT EDIT THIS FILE ***