O.: On timed components and their abstraction (0)

by Ben Salah, R Bozga, M Maler
Venue:In: SAVCBS’07, ACM (2007) 63–71