[IEEE Comput. Soc. Press Twelfth Real-Time Systems Symposium - San Antonio, TX, USA (4-6 Dec. 1991)] [1991] Proceedings Twelfth Real-Time Systems Symposium - Building a predictable avionics platform in Ada: a case study