Buffoni L. Tutorial4: Requirement modeling and verification in OpenModelica. MODPROD [Internet]. 2018 Feb. 19 [cited 2024 Apr. 27];20(12):8. Available from: https://wcc.ep.liu.se/index.php/MODPROD/article/view/627