Compositional translation of simulink models into synchronous bip (2010)

by V Sfyrla, G Tsiligiannis, I Safaka, M Bozga, J Sifakis
Venue:In SIES