Paul Parkinson Franco Gasperoni High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. 163-178 2002 conf/adaEurope/2002 Ada-Europe http://link.springer.de/link/service/series/0558/bibs/2361/23610163.htm db/conf/adaEurope/adaEurope2002.html#ParkinsonG02