A High Level Methodology for Monitoring Network-on-Chips