@ARTICLE{144, <br>title={Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements},<br>author={Dipl.-Ing. Friedemann Bitsch, Dipl.-Inform. Saeid Arabestani, Dr.-Ing. Jan-Tecker Gayen},<br>year={LNCS 3147, pp. 119-144, Springer-Verlag 2004},<br>month={},<br>journal={In H. Ehrig et al. (Eds.): Integration of Software Specification Techniques for Applications in Engineering},<br>