Real-time schedulability-analyzable mechanisms in Ada9X

Alexander D. Stoyenko, Theodore P. Baker. Real-time schedulability-analyzable mechanisms in Ada9X. Proceedings of the IEEE, 82(1):95-107, 1994. [doi]

Abstract

Abstract is missing.