Modeling synchronous systems in BIP (2009)

by M Bozga, V Sfyrla, J Sifakis