Software safety verification in critical software intensive systems - Rodríguez Dapena, Patricia (Technická univerzita, 2002)