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