Modelica_requirements

Defining requirements formally and checking them when simulating