Haskell-powered Unmanned Vehicles: the Copilot DSL for embedded systemsarticle.gmane.org5 pointsdons16 years ago