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