Philippa Conmy, Mark Nicholson, John A. McDermid. Safety Assurance Contracts for Integrated Modular Avionics. In Peter A. Lindsay, Anthony Cant, editors, Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003. Volume 33 of CRPIT, pages 69-78, Australian Computer Society, 2003. [doi]