M. Ali and V. Pun.
" Cost Analysis for an Actor-Based Workflow Modelling Language", in <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, Campina Grande, 2021, pp. 104-121.