TITLE     : An experience in formal verification of safety properties of a railway signalling control system
AUTHOR(S) : Anselmi A., Bernardeschi C., Fantechi A., Gnesi S., Larosa S., Mongardi G., Torielli F.
TYPE      : Conference article
YEAR      : 1995
CODE      : 409832

*** DO NOT EDIT THIS FILE ***