faultInjector: A Tool for Injection of Faults in Synchronous WS-BPEL Processes | IEEE Conference Publication | IEEE Xplore