TITLE     : Distributing the challenge of model checking interlocking control tables
AUTHOR(S) : Fantechi A
TYPE      : Conference article
YEAR      : 2012
CODE      : 276089

*** DO NOT EDIT THIS FILE ***