@doctoralThesis{Theiling_2002, title={Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis}, author={Theiling, Henrik}, doi={http://dx.doi.org/10.22028/D291-25778}, year={2002} }