1. T. Baker and T. Vardanega. Session summary: Tasking profiles. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 5–7. ACM Ada Letters, 1997.
2. A. Burns and A.J. Welling. Restricted tasking models. In A.J. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 27–32. ACM Ada Letters, 1997.
3. A. Burns and A. J. Wellings. Concurrency in Ada. Cambridge University Press, 1995.
4. A. Burns and A. J. Wellings. Safety kernels: Specification and implementation. High Integrity Systems, 1(3):287–300, 1995.
5. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 2nd edition, 1996.