@inproceedings{SBM07,
title = {On timed components and their abstraction },
author = {Salah, Ramzi Ben and Bozga, Marius and Maler, Oded},
year = {2007},
booktitle = {SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems},
address = {New York, NY, USA},
pages = {63--71},
publisher = {ACM},
team = {DCS, TEMPO},
location = {Dubrovnik, Croatia},
}