@doctoralThesis{Schlickling_2012,
title={Timing model derivation : static analysis of hardware description languages},
author={Schlickling, Marc},
doi={http://dx.doi.org/10.22028/D291-26417},
year={2012}
}