Asynchronous Transfer of Control in the Real-Time Specification for Java