Hermann Kopetz Günther Bauer The time-triggered architecture. 112-126 2003 91 Proceedings of the IEEE 1 db/journals/pieee/pieee91.html#KopetzB03