Improving system dependability with functional alternatives | IEEE Conference Publication | IEEE Xplore