Buffoni, Lena. 2018. “Tutorial4: Requirement Modeling and Verification in OpenModelica”. Center for Model-Based Cyber-Physical Product Development 20 (12):8. https://wcc.ep.liu.se/index.php/MODPROD/article/view/627.