BUFFONI, Lena. 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: 31 mar. 2025.