The following publications are possibly variants of this publication:
- Runtime Verification of Railway Applications with Extended Live Sequence ChartsMing Chai. PhD thesis, Humboldt University of Berlin, Unter den Linden, Germany, 2016. [doi]
- Performance analysis and verification of safety communication protocol in train control systemLi-jie Chen, Zhen-yu Shan, Tao Tang, Hong-jie Liu. csi, 33(5):505-518, 2011. [doi]
- A Role and Context Based Access Control Model with UMLYubin Bao, Jie Song, Daling Wang, Derong Shen, Ge Yu;. Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for, , Oct 2008. [doi]
- A Role and Context Based Access Control Model with UMLYubin Bao, Jie Song, Daling Wang, Derong Shen, Ge Yu;. Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for, , Oct 2008. [doi]