@InProceedings{DKN+07,
author={M. Duflot and M. Kwiatkowska and G. Norman and D. Parker and S. Peyronnet and C. Picaronny and J. Sproston},
title={Practical Applications of Probabilistic Model Checking to Communication Protocols},
booktitle={Handbook of Formal Methods in Industrial Critical Systems},
year={2007},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={To appear},
key={}
}