TITLE     : Validation coverage for a component-based SDL model of a railway signaling system
AUTHOR(S) : Banci M, Becucci M, Fantechi A, Spinicci E
TYPE      : Conference article
YEAR      : 2005
CODE      : 91269

*** DO NOT EDIT THIS FILE ***