Hierarchical modeling and analysis of TCC subsystem in CTCS level 3 using UPPAAL | IEEE Conference Publication | IEEE Xplore