The real-time specification for Java | Synapse