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