Modeling Multi-Processor Systems at Transaction-Level