"The Real-Time Specification for Java."

Gregory Bollella, James Gosling (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics