Scoped types for real-time Java (2004)

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