Scoped types for real-time Java (2004)

by Tian Zhao, James Noble, Jan Vitek
Venue:In Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS04