F´ - A flight software and embedded systems framework
nasa
Generator of runtime monitors for flight and robotics applications.