Compositional real-time models | Publicación