Building a Predictable Avionics Platform In Ada: A Case Study.

C. Douglass Locke, David R. Vogel, T. J. Mesler

Browse the full RTSS paper archive.