SURF A PROGRAM FOR DEPENDABILITY EVALUATlON OF COMPLEX FAULT-TOLERANT COMPUTING SYSTEMS | IEEE Conference Publication | IEEE Xplore