TITLE     : On the validation of an interlocking system by model-checking
AUTHOR(S) : Bonacchi A, Fantechi A
TYPE      : Conference article
YEAR      : 2014
CODE      : 305300

*** DO NOT EDIT THIS FILE ***