Library Modelica_Requirements is a Modelica package using temporal logic to formally define requirements and automatically test these requirements when a model is simulated.