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

*** DO NOT EDIT THIS FILE ***