Title: Model checking of probabilistic timed and hybrid systems
First published: 2000