A real-time refinement calculus that changes only time | Publicación