L. Buffoni, “Tutorial4: Requirement modeling and verification in OpenModelica”, MODPROD, vol. 20, no. 12, p. 8, Feb. 2018.