A constraint-based approach for specification and verification of real-time systems.

Gopal Gupta, Enrico Pontelli

Browse the full RTSS paper archive.