Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis. Compositional Translation of Simulink Models into Synchronous BIP. In IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010. pages 217-220, IEEE, 2010. [doi]
Abstract is missing.