Software safety verification in critical software intensive systems - Rodriguez Dapena, Patricia (Beta Research School for Operations Management and Logistics ;, 2002)