1. ARTEAWG, (1993). Ada Run-Time Environment Working Group. Catalogue of Interface Features and Options for the Ada Runtime Environment. ACM, Draft Release 3, May.
2. Introducing Formal Specification Methods in Industrial Practice;Baresi,1997
3. Tools for Specifying Real-Time Systems;Bucci;Journal of Real-Time Systems,1995
4. Concurrency in Ada;Bums,1995
5. A practical exercise on the use of Ada95 for proces control developments;Crespo,1996