1. IEC 62290-1: Railway applications: Urban guided transport management and command/control systems. Part1: System principles and fundamental concepts;International Electrotechnical Commission,2007
2. Technical report: metro automation facts, figures and trends - a global bid for automation: UITP observatory of automated metros confirms sustained growth rates for the coming years;UITP,2011
3. Model checking;Clark,1999
4. Principles of model checking;Baier,2008
5. A survey of approaches combining safety and security for industrail control systems;Kriaa;Reliab Eng Syst Saf,2015