@inproceedings{HB02,
title = { Synchronous modeling of asynchronous systems },
author = {Halbwachs, Nicolas and Baghdadi, Siwar},
month = {oct},
year = {2002},
booktitle = {ACM Conference on Embedded Systems Software, EMSOFT'02},
publisher = {LNCS 2491, Springer Verlag},
team = {SYNC},
}