@doctoralThesis{Hahn_2012,
title={Model checking stochastic hybrid systems},
author={Hahn, Ernst Moritz},
doi={http://dx.doi.org/10.22028/D291-26494},
year={2012}
}