M. Ali and V. Pun. "Cost Analysis for an Actor-Based Workflow Modelling Language", in Anais do XXIV Simpósio Brasileiro de Métodos Formais, Campina Grande, 2021, pp. 104-121.