Racek, S.; Herout, P.; Hlavička, J. Dependability Evaluation of Time Triggered Architecture Using Simulation. Comput. Inform. 2012, 23, 51-76.