Mahony, Brendan P. Hayes, Ian J. <br/><br/>
A Case-Study in Timed Refinement a Mine Pump 

 - 817-826 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Continuous Functions<br/>Refinement<br/>Real Time Specification