Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications Our projects have an impact in many different industries. Browse our publications to find out more Refinement and decomposition of value-passing action systems in the refinement calculus M.J. Butler & E. Best, 1993 DOI: 10.1007/3-540-57208-2_16 Type: bookChapter Pagination Previous page Previous … Page 39 Page 40 Page 41 Page 42 Page 43 Page 44