BUFFONI, L. Tutorial4: Requirement modeling and verification in OpenModelica. Center for Model-Based Cyber-Physical Product Development, [S. l.], v. 20, n. 12, p. 8, 2018. Disponível em: https://wcc.ep.liu.se/index.php/MODPROD/article/view/627. Acesso em: 25 apr. 2024.