@TechReport{MPK03a, author={R. Mehmood and D. Parker and M. Kwiatkowska}, title={An Efficient Symbolic Out-of-Core Solution Method for {Markov} Models}, institution={School of Computer Science, University of Birmingham}, year={2003}, type={}, number={CSR-03-08}, address={}, month={August}, note={}, key={} }