8G Dipoppa. Integrating automatic verification of safety requirements in railway interlocking system design [ C ]. The 6th IEEE International Symposium on High-Assurance Systems Engineering, 2001.
9Karl Dittman. Six steps to batch DCS system selection [Jl .In Tech, 1990.
10John A. Stankovic. Distributed computing technical report [ R]. University of Massachusetts, 1992.
8Khoury G A. EU tunnel fire safety action [J]. Tunnels & Tunneling International. 2003.35 (4) :20.
9Proctor Richard J. Recent trends in automatic train controls [C]. In: Proc. of 2001 IEEE Intelligent Transportation Systems. Dresden.. Technische Universitat Dresden, 2001 :713.
