A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes | Publicación