Michael Poppleton, Richard Banach. Retrenchment: Extending Refinement for Continuous and Control Systems. In David Sinclair, J. Paul Gibson, editors, 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS, 2000. [doi]
Abstract is missing.