Philippa Conmy, John A. McDermid. High Level Failure Analysis for Integrated Modular Avionics. In Peter A. Lindsay, editor, Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001. Volume 3 of CRPIT, pages 13-22, Australian Computer Society, 2001. [doi]