@doctoralThesis{Hahn_2018,
title={On static execution-time analysis},
author={Hahn, Sebastian},
doi={http://dx.doi.org/10.22028/D291-27991},
year={2018}
}