Hermann Kopetz: A Solution to an Automotive Control System Benchmark. RTSS 1994: 154-158