TITLE     : A formal verification environment for railway signaling system design
AUTHOR(S) : Bernardeschi C, Fantechi A, Gnesi S, Larosa S, Mongardi G, Romano D
TYPE      : Journal article
YEAR      : 1998
CODE      : 490501

*** DO NOT EDIT THIS FILE ***