SMS: Safety of vital control and communication systems in guided ground transportation : analysis of railroad signaling system : microprocessor interlocking / [Simon Reich and Thomas Bessoir].