@TechReport{KNS00,
author={Marta Z Kwiatkowska and Gethin Norman and Jeremy Sproston},
title={Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability},
institution={University of Birmingham, School of Computer Science},
number={CSR-00-01},
month={January},
year={2000},
url={}
}