TITLE     : An industrial application of formal model based development: the Metro Rio ATP case
AUTHOR(S) : Ferrari A, Fantechi A, Papini M, Grasso D
TYPE      : Conference article
YEAR      : 2010
CODE      : 92139

*** DO NOT EDIT THIS FILE ***