Probabilities and priorities in timed csp (1999)

by G Lowe