Defining requirements formally and checking them when simulating - View it on GitHub