Applying model checking to BPEL4WS business collaborations | Publicación