TITLE     : Some experiences on formal specification of railway interlocking systems using statecharts
AUTHOR(S) : Banci M, Fantechi A, Gnesi S
TYPE      : Other
YEAR      : 2005
CODE      : 120553

*** DO NOT EDIT THIS FILE ***