@TechReport{KNS03c,
author={Marta Z Kwiatkowska and Gethin Norman and Jeremy Sproston},
title={PCTL model checking of symbolic probabilistic systems},
institution={University of Birmingham, School of Computer Science},
number={CSR-03-2},
month={April},
year={2003},
url={}
}