Proceedings of the ninth international workshop on Real-time Ada
ACM Digital Library