On the Construction of Live Timed Systems.

Sbastien Bornot, Gregor Gler, Joseph Sifakis

Browse the full TACAS paper archive.