Talk:Real-time specification for Java