Real-Time Specification for Java