Buffoni, L. Tutorial4: Requirement Modeling and Verification in OpenModelica. MODPROD 2018, 20, 8.