Problems in Ada runtime task scheduling. - C. Douglass Locke; David R. Vogel (IRTAW, 1987)

Predictable real-time avionics design using Ada tasks and Rendezvous study. - C. Douglass Locke; David R. Vogel; T. J. Mesler (IRTAW, 1990)

Building a Predictable Avionics Platform In Ada: A Case Study. - C. Douglass Locke; David R. Vogel; T. J. Mesler (RTSS, 1991)

ASSERTS: a toolkit for real-time software design, development and evaluation. - Kanad Ghose; Sudhir Aggarwal; Pavel Vasek; S. Chandra; Amritansh Raghav; Abrahijt Ghosh; David R. Vogel (RTS, 1997)

Designing Multiprocessor/Distributed Real-Time Systems Using the ASSERTS Toolkit. - Kanad Ghose; Sudhir Aggarwal; Abhrajit Ghosh; David Goldman; Peter Sulatycke; Pavel Vasek; David R. Vogel (Euro-Par, 1999)