Providing accurate event models for the analysis of heterogeneous multiprocessor systems.