The refinement of real-time systems.

David Scholefield, Hussein S. M. Zedan

Browse the full ECRTS paper archive.