Transaction Level Modeling and High Performance Simulation of Embedded Systems