@inproceedings{BSS9,
title = {Modeling synchronous systems in BIP },
author = {Bozga, Marius and Sfyrla, Vassiliki and Sifakis, Joseph},
year = {2009},
booktitle = {Proceedings of the 9th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009},
pages = {77-86},
publisher = {ACM},
team = {DCS, RSD},
}