Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis. Modeling synchronous systems in BIP. In Samarjit Chakraborty, Nicolas Halbwachs, editors, Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. pages 77-86, ACM, 2009. [doi]
Abstract is missing.