Modeling Multi-Processor Systems At Transaction-Level by Luca Moscatelli