Software fault tolerance : Achievement and assessment strategies - Kersken, M; Saglietti, F (Springer Verlag, 1992)