Deriving Safety Software Requirements from an AltaRica System Model. - Sophie Humbert; Christel Seguin; Charles Castel; Jean-Marc Bosc (SAFECOMP, 2008)