Scoped types for real-time Java (2004)

by T Zhao, J Noble, J Vitek
Venue:In Proceedings of the 25th IEEE International RealTime Systems Symposium (RTSS