Stochastic analysis of BPMN with time in rewriting logic | Publicación