AIR Technology: a step towards ARINC 653 in space - José Rufino; João Craveiro; T. Schoofs; C. Tatibana; J. Windson (2009)