Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu. Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. In 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011. pages 67-72, IEEE, 2011. [doi]