Verifying Timed BPMN Processes Using Maude | Publicación