MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.

S. Akshay, Paul Gastin, R. Govind, B. Srivathsan

Browse the full CONCUR paper archive.