J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello. Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. In 2nd High-Assurance Systems Engineering Workshop (HASE 97), August 11-12, 1997, Washington, DC, USA, Proceedings. pages 162-167, IEEE Computer Society, 1997. [doi]
Abstract is missing.