Modularity for Timed and Hybrid Systems.

Rajeev Alur, Thomas A. Henzinger

Browse the full CONCUR paper archive.