@Article{KNP12a,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Probabilistic Verification of Herman’s Self-Stabilisation Algorithm},
journal={Formal Aspects of Computing},
year={2012},

volume={24},
number={4},
pages={661-670},
publisher={Springer},
month={},
note={},
key={}
}