Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices. - Amal Banerjee; Andreas Gerstlauer (IESS, 2009)