Towards the Coordination and Verification of Heterogeneous Systems with Data and Time | Publicación