1. Alonso, A., Salazar, E., and de Ia Puente, J.A. (2103). Design of on-board software for an experimental satellite. In Jornadas de Tiempo Real — JTR-2013. URL www.dit.upm.es/str/papers/pdf/alonso&13a.pdf
2. ARINC (2003). Avionics Application Software Standard Interface — ARINC Specification 653-1. ARINC.
3. ARM05 (2007). ISO/IEC 8652:1995(E)/TC1(2000)/AMDl(2007): Information Technology — Programming Languages — Ada.
4. Baumann, C., Blasum, H., Bormer, T., and Tverdyshev, T. (2011). Proving memory separation in a microkernel by code level verification. In Ist International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011).
5. Bos, V., Mendham, P., Kauppinen, P., Holsti, N., Crespo, A., Masmano, M., de Ia Puente, J., and Zamorano, J. (2013). Time and space partitioning the EagleEye Reference Mission. In Data Systems in Aerospace — DASIA 2013. Porto, Portugal.