Saeid Arabestani Friedemann Bitsch Jan-Tecker Gayen Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. 119-144 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3147&spage=119 2004 conf/dfg/2004 SoftSpez Final Report db/conf/dfg/softspez2004.html#ArabestaniBG04