TITLE     : Formal development for railway signaling using commercial tools
AUTHOR(S) : Ferrari A, Fantechi A, Bacherini S, Zingoni N
TYPE      : Conference article
YEAR      : 2009
CODE      : 44247

*** DO NOT EDIT THIS FILE ***