Using certification trails to achieve software fault tolerance | IEEE Conference Publication | IEEE Xplore