@inbook{DKN+10,
author={M. Duflot and M. Kwiatkowska and G. Norman and D. Parker and S. Peyronnet and C. Picaronny and J. Sproston},
chapter={Practical Applications of Probabilistic Model Checking to Communication Protocols},
title={FMICS Handbook on Industrial Critical Systems},
year={2010},

editor={S. Gnesi and T. Margaria},
pages={133-150},
organization={},
publisher={IEEE Computer Society Press},
series={},
volume={},
month={},
note={To appear},
key={}
}