Yang Liu, Daming Jiang, Shenghua Dai, Zhengjiao Li. Hierarchical modeling and analysis of TCC subsystem in CTCS level 3 using UPPAAL. In 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, November 1-4, 2016. pages 713-718, IEEE, 2016. [doi]
Abstract is missing.