TITLE : Model based design of interlocking systems AUTHOR(S) : Banci M. TYPE : Other YEAR : 2006 CODE : 160330 *** DO NOT EDIT THIS FILE ***