列车运行控制系统规范建模与验证2010.6唐涛, 徐田华, 赵林, 著 列车运行控制系统实时性的建模与验证2019.7谢雨飞, 著 基于模型的列车运行控制系统设计与验证方法2014.3唐涛, 赵林, 徐田华, 吕继东, 牛儒, 张路, 著 列车运行控制系统多分辨率建模与仿真方法2019.5蔡伯根, 上官伟, 王剑, 著 列车运行控制系统多分辨率建模与仿真方法2019.5蔡伯根, 上官伟, 王剑, 著 列车运行控制系统2018.5刘伯鸿, 主编 列车运行控制系统2009.01张铁增, 主编 列车运行控制系统2012.7唐涛, 主编 列车运行控制系统2014.12张铁增, 主编 高速列车运行控制系统2012.12宁滨, 唐涛, 李开成, 董海荣, 著 欧洲列车控制系统2019.3李嘉, 编著 CTCS-3级列车运行控制系统原理和应用2014.5郭媛忠, 宗殿贵, 主编 列车运行控制系统测速定位技术2018.3蔡伯根, 王剑, 刘江, 周达天, 编著 CTCS-2级列车控制系统应用与维护2007.07北京铁路局, 编 区间信号与列车运行控制系统2008.07董昱, 主编