Philippa Conmy Mark Nicholson John A. McDermid Safety Assurance Contracts for Integrated Modular Avionics. 69-78 2003 conf/scs/2003 SCS http://crpit.com/confpapers/CRPITV33Conmy.pdf db/conf/scs/scs2003.html#ConmyNM03