Model-Based Integration of Safety Analysis and Reliable Software Development. - Miguel A. de Miguel; Bernard Pauly; Thierry Person; Javier Fernández Briones (WORDS, 2005)