Compositional Verification of Business Processes by Model–Checking | Publicación