A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. - Jan Peleska 001; Artur Honisch; Florian Lapschies; Helge Löding; Hermann Schmid; Peer Smuda; Elena Vorobev; Cornelia Zahlten (ICTSS, 2011)