@inbook{Nor04,
author={G. Norman},
chapter={Analysing randomized distributed algorithms},
title={Validation of Stochastic Systems: A Guide to Current Research},
year={2004},

editor={C. Baier and B. Haverkort and H. Hermanns and J-P. Katoen and M. Siegle},
pages={384--418},
organization={},
publisher={Springer},
series={Lecture Notes in Computer Science (Tutorial Volume)},
volume={2925},
month={},
note={},
key={}
}