A Case-Study in Timed Refinement a Mine Pump

Mahony, Brendan P. Hayes, Ian J.

A Case-Study in Timed Refinement a Mine Pump - 817-826 p.


Continuous Functions
Refinement
Real Time Specification