1. Malucchi, G., Dussy S., Camuffo, F.: Intermediate experimental vehicle (IXV): avionics and software of the ESA reentry demonstrator. In: Data Systems in Aerospace (2012)
2. ECSS-Q-ST-80C — Software product assurance (2009)
3. Rodríguez, E., Giménez, P., Vicente Fernández, I, de M.: SCOE for IXV GNC. In: SESP 2012 – Simulation & EGSE Facilities for Space Programmes (2012)
4. Rodríguez, M., Silva, N., Esteves, J., Henriques, L., Costa, D., Holsti, N., Hjortnaes, K.: Challenges in calculating the WCET of a complex on-board satellite application. In: Gustafsson, J. (ed.) WCET 2003 (2003)
5. Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in high integrity systems. ISO/IEC TR 24718, 2005 (2005)