Modeling synchronous systems in BIP. - Marius Bozga; Vassiliki Sfyrla; Joseph Sifakis (EMSOFT, 2009)

Compositional Translation of Simulink Models into Synchronous BIP. - Vassiliki Sfyrla; Georgios Tsiligiannis; Iris Safaka; Marius Bozga; Joseph Sifakis (SIES, 2010)