Automatic generation of fault-tolerant CORBA-services | IEEE Conference Publication | IEEE Xplore