Kim Grüttner, Henning Kleen, Frank Oppenheimer, Achim Rettberg, Wolfgang Nebel: Towards a synthesis semantics for systemC channels. CODES+ISSS 2010: 163-172