ogmaGenerator of runtime monitors for flight and robotics applications.Haskell★ 573assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemroboticsn@nasa++