A high dependability computer attainable by a tracking redundancy scheme | IEEE Conference Publication | IEEE Xplore