Probabilistic Duration Automata for Analyzing Real-Time Systems.

Louise E. Moser, P. M. Melliar-Smith

Browse the full TACAS paper archive.