Robert B. Jones Jens U. Skakkebæk David L. Dill Formal Verification of Out-of-Order Execution with Incremental Flushing. 139-158 2002 20 Formal Methods in System Design 2 db/journals/fmsd/fmsd20.html#JonesSD02