Splice: A DSL for software-defined satellite applications [pdf]github.com/AeroRust3 pointsjedisct16 years ago