Transaction Level Modelling in SystemC