Buffoni, L. (2018). Tutorial4: Requirement modeling and verification in OpenModelica. Center for Model-Based Cyber-Physical Product Development, 20(12), 8. Retrieved from https://wcc.ep.liu.se/index.php/MODPROD/article/view/627