Redirecting to Real-time specification for Java