Citation:

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