<XML><RECORDS><RECORD><REFERENCE_TYPE>7</REFERENCE_TYPE><REFNUM>9288</REFNUM><AUTHORS><AUTHOR>Duflot,M.</AUTHOR><AUTHOR>Kwiatkowska,M.</AUTHOR><AUTHOR>Norman,G.</AUTHOR><AUTHOR>Parker,D.</AUTHOR><AUTHOR>Peyronnet,S.</AUTHOR><AUTHOR>Picaronny,C.</AUTHOR><AUTHOR>Sproston,J.</AUTHOR></AUTHORS><YEAR>2010</YEAR><TITLE>Practical Applications of Probabilistic Model Checking to Communication Protocols</TITLE><PLACE_PUBLISHED>S. Gnesi and T. Margaria (editors) FMICS Handbook on Industrial Critical Systems, IEEE Computer Society Press</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Duflot:2010:9288</LABEL></RECORD></RECORDS></XML>