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)