@doctoralThesis{Pister_2012, title={Timing model derivation : pipeline analyzer generation from hardware description languages}, author={Pister, Markus}, isbn={978-3-937436-40-1}, doi={http://dx.doi.org/10.22028/D291-26402}, year={2012} }