1. Garbajosa, J., Alonso, A., Amador, J., Bollaín, M., de la Puente, J.: A low cost software engineering environment for on-board real-time software. In: Workshop on Advanced Real-Time Software Technologies, Aranjuez, Spain (2002)
2. ECSS: ECSS-E-40A Space Engineering — Software. (1999) Available from ESA.
3. GMV-ECSS-UM-01: SEE User Manual. 4.1 edn. (2000) Also available from ESA.
4. ISO: Ada Semantic Interface Specification (ASIS). ISO/IEC-15291:1999. (1999)
5. Ousterhout, J.: Tcl and the Tk Toolkit. Addison-Wesley (1994)