Schmidlin Fajardo Silva, Raul ; Hesser, Jürgen ; Männer, Reinhard (2009) Fault Propagation Analysis on the Transaction-Level Model of an Acquisition System with Bus Fallback Modes. [Conference Item]