EMSBench: Benchmark and Testbed for Reactive Real-Time Systems Florian Kluge, Christine Rochange, Theo Ungerer 02:1-02:23 2017-07-07