The Real-Time Specification for Java