Almost-Sure Model-Checking of Reactive Timed Automata | IEEE Conference Publication | IEEE Xplore