Formal Modeling and Analysis of Timed SystemsLaure Petrucci, Jeremy Sproston · First published 2023Open the Tome
Model checking of probabilistic timed and hybrid systemsJeremy James Sproston · First published 2000Open the Tome
