A State-Based Modeling Approach for Efficient Performance Evaluation of Embedded System Architectures at Transaction Level. (10th April 2012)