Synthesizing Byzantine Fault-Tolerant Grid Application Wrapper Services | IEEE Conference Publication | IEEE Xplore