3Nakarnatsu K;Kiuchi Y.Intelligent Railway Interlocking Safety on Annotated Logic Program and Verification Based its Simulation[A]{H}台湾台北,2004.
4Blom S,Ioustinova N,Pol J. Simulated Time for Testing Railway Interlockings with TTCN-3[A].2006.1-15.
5Garmhausen V H,Campos S,Cimatti A. Verification of a safetycritical railway interlocking system with real-time constraints[J].Elsevier Science of Computer Programming,2000,(36):1546-1563.
6赵志熙.计算机联锁系统技术[M]{H}北京:中国铁道出版社.
7Arlow J,Neustadt J. UML2 and the Unified Process[M].China Machine Process,.
8Magge J,Krammer J. Associated Concurrency:State Models and Java Programs[M].Wiley,1999.
