JetBench: An Open Source Real-time Multiprocessor Benchmark. - Muhammad Yasir Qadri; Dorian Matichard; Klaus D. McDonald-Maier (ARCS, 2010)