José RufinoJoão CraveiroT. SchoofsC. TatibanaJ. Windson2010-05-212014-11-142010-05-212014-11-1420092009http://hdl.handle.net/10451/14815http://repositorio.ul.pt/handle/10455/6399engComputer ScienceAIR Technology: a step towards ARINC 653 in spacejournal article