@phdthesis{Sto02,
author = {Mari\"elle Stoelinga},
title  = {Alea jacta est: verification of probabilistic, real-time and
          parametric systems},
school = {University of Nijmegen, the Netherlands},
year   = 2002,
month  = apr,
isbn   = {90-9015706-9},
note   = {Available via {\tt http://www.soe.ucsc.edu/\-\verb+~+marielle}}
}