Harold W. Lawson, Sivert Wallin, Berit Bryntse, Bertil Friman. Twenty Years of Safe Train Control in Sweden. In 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA. pages 289-297, IEEE Computer Society, 2001. [doi]