A formal approach to mpsoc performance verification
Context Sensitive Performance Analysis of Automotive Applications
Computer
Design, Automation and Test in Europe
M. Jersak
K. Richter
F. Wolf
A. Schulze
J. Staschulat
A Full Lifecycle Performance Verification Methodology for Multicore Systems-on-chip