Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan. Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. Science in China Series F: Information Sciences, 58(11):1-20, 2015. [doi]
Abstract is missing.