doi          = "10.1109/QEST.2010.31",
 doi          = "10.4204/EPTCS.6.5",
 doi          = "10.1016/j.tcs.2009.02.037",
 doi          = "10.1038/35002125",
 doi          = "10.1016/j.entcs.2008.10.004",
 doi          = "10.1007/978-3-642-04081-8\_21",
 doi          = "10.1109/QEST.2005.12",
 doi          = "10.1109/CDC.2005.1583138",
 doi          = "10.1007/b106766",
 doi          = "10.1109/TSE.2010.82",
 doi          = "10.1023/A:1008387132533",