A Modelica library with abstractions for requirement modelling - View it on GitHub