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