Gabriella Carrozza Domenico Cotroneo Stefano Russo Software Faults Diagnosis in Complex OTS Based Safety Critical Systems. 25-34 2008 EDCC http://dx.doi.org/10.1109/EDCC-7.2008.26 conf/edcc/2008 db/conf/edcc/edcc2008.html#CarrozzaCR08