A New Approach to the Specification and Verification of Real-Time Systems.

George Logothetis, Klaus Schneider

Browse the full ECRTS paper archive.