Alistair A. McEwan, J. C. P. Woodcock. A refinement based approach to calculating a fault tolerant railway signal device. In René Jacquart, editor, Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France. pages 621-628, Kluwer, 2004.
Abstract is missing.