## Appendix C References

1. [DB98] B. Dobbing and A. Burns. The Ravenscar tasking profile for high integrity real-time programs. In Proceedings of SigAda'98, Washington, DC, USA, November 1998.
2. [gla06] GLADE User's Guide r 1.54, February 2006.
3. [ISO95] ISO. Information Technology – Programming Languages – Ada. ISO, February 1995. ISO/IEC/ANSI 8652:1995.
4. [ISO06] ISO. Information Technology – Programming Languages – Ada. ISO, November 2006. ISO/IEC 8652:1995 with Technical Corrigendum 1 and Amendment 1 (“Ada 2005”).
5. [Obr03] P. Obry. Ada Web Server (AWS) 1.3, 2003.
6. [OMG] OMG. Common Secure Interoperability (CSIv2). OMG.
7. [OMG01] OMG. Ada Language Mapping Specification, v1.2. OMG, October 2001. OMG Technical Document formal/2001-10-42.
8. [OMG02a] OMG. Real-Time CORBA Specification, static scheduling, v1.1. OMG, April 2002. OMG Technical Document formal/2002-08-02.
9. [OMG02b] OMG. unreliable Multicast InterORB Protocol specification. OMG, 2002. OMG Technical Document ptc/03-01-11.
10. [OMG03] OMG. Real-Time CORBA Specification, dynamic scheduling, v2.0. OMG, April 2003. OMG Technical Document formal/2003-11-01.
11. [OMG04] OMG. The Common Object Request Broker: Architecture and Specification, revision 3.0.3. OMG, March 2004. OMG Technical Document formal/2004-03-12.
12. [SUN99] SUN. Java Message Service, 1999.
13. [W3C00] W3C. Extensible Markup Language (XML) 1.0, October 2000. W3C recommandation.
14. [W3C03] W3C. Simple Object Access Protocol (SOAP) 1.2: primer, june 2003. W3C recommandation.