Modeling out-of-order processors for software timing analysis - Li, X. (2013)
10.1109/REAL.2004.33