@book{Hartmanns_2015,
title={On the analysis of stochastic timed systems},
author={Hartmanns, Arnd},
isbn={978-3-86223-182-9},
doi={http://dx.doi.org/10.22028/D291-32292},
adress={Saarbrücken},
publisher={universaar},
year={2015}
}