Incremental fault-tolerant design in an object-oriented setting | IEEE Conference Publication | IEEE Xplore