Hansu Cho, Samar Abdi, Daniel Gajski: Interface synthesis for heterogeneous multi-core systems from transaction level models. LCTES 2007: 140-142