Sibin Mohan, Frank Mueller: Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors. RTSS 2008: 467-477