Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. - J. Boulanger; V. Delebarre; Stéphane Natkin; J. Ozello (HASE, 1997)