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