TITLE     : Some trends in formal methods applications to railway signaling
AUTHOR(S) : Fantechi A, Fokkink W, Morzenti A
TYPE      : Contribution to book
YEAR      : 2013
CODE      : 302152

*** DO NOT EDIT THIS FILE ***