Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation | Publicación