Formal safety analysis in transportation control / A. Thums and F. Ortmeier. - In: International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23 - 24 April 2002, Braunschweig / Eckehard Schnieder, (ed.). - Düsseldorf : VDI-Verl., 2003. - (Fortschrittberichte VDI : Reihe 12, Verkehrstechnik, Fahrzeugtechnik ; 535
