Günther Bauer Hermann Kopetz Transparent Redundancy in the Time-Triggered Architecture. 5-13 2000 conf/dsn/2000 DSN http://computer.org/proceedings/dsn/0707/07070005abs.htm db/conf/dsn/dsn2000.html#BauerK00