Integrating Real-Time Scheduling Theory and Program Refinement.

Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes

Browse the full FM paper archive.