@INPROCEEDINGS{ETFA2010,
author={Thi Thieu Hoa Le and Luigi Palopoli and Roberto Passerone and Yusi Ramadian and Alessandro Cimatti},
booktitle={Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study},
title={Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA10) },
year={2010},
month={September},
volume={},
number={},
pages={46 -55},
keywords={},
,}