Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions | Publicación