A formal method for specification and refinement of real-time systems | Publicación