"Retrenchment: Extending Refinement for Continuous and Control Systems."

Michael Poppleton, Richard Banach (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics