TITLE     : Automatic Instantiation for Railway Interlocking Systems
AUTHOR(S) : Banci M, Gnesi S
TYPE      : Conference article
YEAR      : 2007
CODE      : 91740

*** DO NOT EDIT THIS FILE ***