title: Developing Control Systems with Some Fragile Environment creator: Hoang, Thai Son creator: Hudon, Simon subject: Refinement subject: Other publisher: ETH Zurich type: Monograph type: NonPeerReviewed relation: http://www.inf.ethz.ch/research/disstechreps/techreports identifier: Hoang, Thai Son and Hudon, Simon Developing Control Systems with Some Fragile Environment. Technical Report. ETH Zurich, Zurich, Switzerland. relation: http://deploy-eprints.ecs.soton.ac.uk/421/