Extending the concurrency model of the real‐time specification for Java | Publicación