@Article{KNP08d,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Analysis of a Gossip Protocol in PRISM},
journal={ACM SIGMETRICS Performance Evaluation Review},
year={2008},

volume={36},
number={3},
pages={17-22},
_month={December},
note={},
key={}
}