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