Rigorous Communication Modelling at Transaction Level With Systemc. - Tomi Metsälä; Tomi Westerlund; Seppo Virtanen; Juha Plosila (ICSOFT (SE/MUSE/GSDCA), 2008)