Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts | IEEE Journals & Magazine | IEEE Xplore