Model checking of probabilistic timed and hybrid systemsJeremy James Sproston · First published 2000Open the Tome
