Compositional translation of simulink models into synchronous bip

FREE-DOWNLOAD V Sfyrla, G Tsiligiannis, I Safaka… – … Systems (SIES), 2010 …, 2010
Abstract—We present a method for the translation of a discrete- time fragment of Simulink into
the synchronous subset of the BIP language. The translation is fully compositional, that is, it preserves completely the original structure and reveals the minimal control co- ordination structure