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

by C D Locke, D R Vogel, T J Mesler
Venue:Proc. of 12th IEEE Real-Time Systems Symposium