Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code

by Ste­fan Stat­tel­mann, Alexan­der Viehl, Oliver Bring­mann, and Wolf­gang Rosen­stiel
In Sys­tem Spec­i­fi­ca­tion and De­sign Lan­guages, pages 175–190. Springer, New York, NY, 2012.