Text this: Modeling multi-processor systems at transaction-level :