1IEEE Std 1474.2-2003. Institute of Electrical and Electronics Engineers IS]. IEEE Standard for User Interface Requirements in Communieations-Based Train Control (CBTC) Systems,New York,2003.
2Parker D. Implementation of Symbolic Model Checking for Probabilistic Systems[ D]. University of Birmingham, August,2002.
3Kwiatkowska M, Norman G, Parker D. A Tool for Probabilistic Model Checking [ C ]// Proc. First International Conference on the Quantitative Evaluation of Systems (QEST2004). IEEE Computer Society Press, 2004:322 - 323.
4Marta Kwiatkowska. Model Chocking for Probability and Time[C]// 18th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 2003: 351 - 360.
5Jurgen Greifeneder, Georg Frey. Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models[ C]// IEEE Conference on Emerging Technologies and Factory Automation. IEEE Computer Society Press, 2006 : 372 - 379.
6单振雨. CTCS-3级车地通信协议设计与验证[D]. 北京: 北京交通大学, 2007.
7British Standards Institute Staff. Railway Applications, Communication, Signaling and Processing Systems, Safety-related Communication in Transmission Systems[M]. [S. 1.]: BSI Publisher, 2010.
