<XML><RECORDS><RECORD><REFERENCE_TYPE>7</REFERENCE_TYPE><REFNUM>9289</REFNUM><AUTHORS><AUTHOR>Kwiatkowska,M.</AUTHOR><AUTHOR>Norman,G.</AUTHOR><AUTHOR>Parker,D.</AUTHOR></AUTHORS><YEAR>2010</YEAR><TITLE>Probabilistic Model Checking for Systems Biology</TITLE><PLACE_PUBLISHED>Symbolic Systems Biology</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Kwiatkowska:2010:9289</LABEL></RECORD></RECORDS></XML>