A decidable probability logic for timed probabilistic systems (2004)

by R Lanotte, D Beauquier