@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={} }