SIRJANI, M. From Dependable Timed Actor Models to executable Code. Center for Model-Based Cyber-Physical Product Development, [S. l.], v. 21, n. 13, p. 30, 2020. Disponível em: https://wcc.ep.liu.se/index.php/MODPROD/article/view/128. Acesso em: 26 apr. 2024.