Buffoni, L. 2018. Tutorial4: Requirement modeling and verification in OpenModelica. Center for Model-Based Cyber-Physical Product Development. 20, 12 (Feb. 2018), 8.