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