TITLE     : Model checking interlocking control tables
AUTHOR(S) : Ferrari A, Magnani G, Grasso D, Fantechi A
TYPE      : Conference article
YEAR      : 2011
CODE      : 199290

*** DO NOT EDIT THIS FILE ***