TY  - SER
AU  - Mahony, Brendan P.
AU  - Hayes, Ian J.
TI  - A Case-Study in Timed Refinement a Mine Pump
KW  - Continuous Functions
KW  - Refinement
KW  - Real Time Specification
ER  -