1. International Standard ANSI/ISO/IEC-8652:1995. Ada 95 Reference Manual. Intermetrics, Inc. (January 1995)
2. B-Abdallah, H., Lee, I., Choi, J.-Y.: A graphical language with formal semantics for the specification and analysis of real-time systems. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 276–286 (December 1995)
3. Bihari, T., Gopinath, P.: Object-oriented real-time systems. IEEE Computer 25(12), 25–32 (1992)
4. Choi, J.-Y., Lee, I., Xie, H.-L.: The specification and schedulability analysis of real-time systems using ACSR. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 266–275 (December 1995)
5. Clark, R.K., Jensen, E.D., Reynolds, F.D.: An architectural overview of the Alpha real-time distributed kernel. In: Proceedings of the USENIX Workshop on Microkernel and Other Kernel Architectures, Seattle (April 1992)