James Windsor

AMOBA - ARINC 653 Simulator for Modular Based Space Applications

José Rufino, Tobias Schoofs, E. Pascoal, 2008 .

Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel

Ismael Ripoll, Alfons Crespo, Vangelis Kollias, 2011 .

ESA Roadmap for IMA Spin-In to Spacecraft Avionics

Martin Hiller, Kjeld Hjortnaes, Knut Eckstein, 2012 .