L. Planche

Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel

Ismael Ripoll, Alfons Crespo, Vangelis Kollias, 2011 .

DisCo Space-Oriented Middleware : Architecture of a Distributed Runtime Environment for Complex Spacecraft On-board Applications

S. Fowell, M. Prochazka, L. Planche, 2008 .