@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={}
}