Error Propagation in a Digital Avionic Processor: A Simulation-Based Study. - D. Lomelino; Ravishankar K. Iyer (RTSS, 1986)