RefineNet - Links

• EPSRC
• Work on Retrenchment by Richard Banach
• Work on Refinement of State Based Systems by Eerke Boiten and John Derrick