Requirement Verification with CRML and OpenModelica

Common Requirement Modeling Language (CRML) is alanguage designed to express requirements in an intuitivemanner, in this paper we present the recent advancementsin tool support for the requirement modeling and verifica-tion workflow in OpenModelica and illustrate this on theTraffic Light use-case.