Stanislav Racek Pavel Herout Jan Hlavicka Dependability Evaluation of Time Triggered Architecture Using Simulation. 2004 23 Computers and Artificial Intelligence 1 db/journals/cai/cai23.html#RacekHH04