An application of BPEL for service orchestration in an industrial environment | IEEE Conference Publication | IEEE Xplore