Dependable software for undependable hardware | IEEE Conference Publication | IEEE Xplore