Safety analysis and methods in a railway signalling system - Chang, Kwang-Chi.