GitHub repository: mwetter/Modelica_Requirements
Primary language: Modelica
Description: Defining requirements formally and checking them when simulating