@doctoralThesis{Hartmanns_2015,
title={On the analysis of stochastic timed systems},
author={Hartmanns, Arnd},
doi={http://dx.doi.org/10.22028/D291-26597},
year={2015}
}