%0 Journal Article %F GoesslerSifakis2005 %A Gössler, G. %A Sifakis, J. %T Composition for Component-based Modeling %J Science of Computer Programming %V 55 %N 1 %P 161-183 %8 March %D 2005