Modularity for Timed and Hybrid Systems”. (1997)

by R Alur, T A Henzinger
Venue:In Proc. of CONCUR 97, LNCS 1243,