@InProceedings{DMP07, author={A. Donaldson and A. Miller and D. Parker}, title={{GRIP}: Generic Representatives in {PRISM}}, booktitle={Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07)}, year={2007}, editor={}, pages={115-116}, organization={}, publisher={IEEE Computer Society}, series={}, volume={}, address={}, month={}, note={}, key={} }