Thomas A. Henzinger Christoph M. Kirsch Slobodan Matic Composable code generation for distributed giotto. 21-30 2005 conf/lctrts/2005 LCTES http://doi.acm.org/10.1145/1070891.1065914 db/conf/lctrts/lctes2005.html#HenzingerKM05