Dependability I mezzi per la garanzia di funzionamento Monica Bianchini Dipartimento di Ingegneria dellInformazione Università degli Studi di Siena.