@TechReport{MPK03b, author={R. Mehmood and D. Parker and M. Kwiatkowska}, title={An Efficient {BDD}-Based Implementation of {Gauss-Seidel} for {CTMC} Analysis}, institution={School of Computer Science, University of Birmingham}, year={2003}, type={}, number={CSR-03-13}, address={}, month={December}, note={}, key={} }