@TechReport{KNS03a,
author={M. Kwiatkowska and G. Norman and J. Sproston},
title={Symbolic Computation of Minimal Probabilistic Reachability},
institution={University of Birmingham, School of Computer Science},
number={CSR-03-01},
month={January},
year={2003},
url={}
}