@PhDThesis{Spr01,
author={J. Sproston},
title={Model Checking for Probabilistic Timed and Hybrid Systems},
school={School of Computer Science, The University of Birmingham},
year={2001},

type={},
address={},
month={},
note={},
key={}
}