Lochi Yu, Samar Abdi, Daniel Gajski, "Transaction Level Platform Modeling in SystemC for Multi-Processor Designs", TR 07-01 January 2007 download pdf