Generator of runtime monitors for flight and robotics applications. - View it on GitHub