A DSL for embedded hard realtime applications.