Text this: A State-Based Modeling Approach for Efficient Performance Evaluation of Embedded System Architectures at Transaction Level