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