Tomi Metsälä Tomi Westerlund Seppo Virtanen Juha Plosila Rigorous Communication Modelling at Transaction Level With Systemc. 246-251 2008 ICSOFT (SE/MUSE/GSDCA) conf/icsoft/2008-2 db/conf/icsoft/icsoft2008-2.html#MetsalaWVP08