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