Ali, Muhammad, and Violet Ka I Pun.
"Cost Analysis for an Actor-Based Workflow Modelling Language." <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais,
Campina Grande, 2021</em>. SBC, 2021,  
pp.104-121.