The refinement calculus of reactive systems | Publicación