Dines Bjørner. TRain: The Railway domain - A Grand Challenge for Computing Science & Transportation Engineering. In René Jacquart, editor, Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France. pages 607-612, Kluwer, 2004.
Abstract is missing.