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

by Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel
In System Specification and Design Languages, pages 175–190. Springer, New York, NY, 2012.