Buffoni, L. (2018) “Tutorial4: Requirement modeling and verification in OpenModelica”, Center for Model-Based Cyber-Physical Product Development, 20(12), p. 8. Available at: https://wcc.ep.liu.se/index.php/MODPROD/article/view/627 (Accessed: 19 April 2024).