Building a Predictable Avionics Platform in Ada: A Case (1991)

by C D Locke Study”, D R Vogel, T J Mesler
Venue:Proceedings of the 12th Real Time Systems Symposium