30/03/2001, Friday, 16:30–17:30 Room P3.10, Mathematics Building Marta Kwiatkowska, University of Birmingham Model checking of probabilistic timed automata