5 ms·SMACCMPilot: open-source UAV autopilot using high-assurance software methods2 points by shangaslammi 13y ago