1. Ada Core Technologies Inc.: GNAT web page.
http://www.gnat.com
2. Burns, A.: The Ravenscar Profile. Ada Letters, Vol. XIX, No. 4. ACM Press (1999) 49–52.
3. European Space Research and Technology Centre: 32-bit Microprocessor and Computer System Development. Deliverable on Contract 9848/92/NL/FM. (1996)
http://www.estec.esa.nl/wsmwww/erc32/erc32.html
4. ESA, Packet Utilisation Standard. Europen Space Agency, Noordwijk, Netherlands, PSS-07-101: Issue 1 (1994). (
http://esapub.esrin.esa.it/pss/pss-cat1.htm
).
5. Lect Notes Comput Sci;J.A. Puente de la,2000