Frank P. Burns Albert Koelmans Alexandre Yakovlev WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. 275-288 2000 18 Real-Time Systems 2/3 db/journals/rts/rts18.html#BurnsKY00 http://dx.doi.org/10.1023/A:1008101416758