doi          = "10.1109/TSE.2008.106",
 doi          = "10.1007/3-540-45061-0\_79",
 doi          = "10.1007/s001820050111",
 doi          = "10.1016/j.entcs.2009.02.002",
 doi          = "10.4230/LIPIcs.CSL.2011.144",
 doi          = "10.1007/978-3-642-22012-8\_30",
 doi          = "10.1006/inco.2001.2962",
 doi          = "10.1016/j.tcs.2003.09.013",
 doi          = "10.1109/QEST.2008.42",
 doi          = "10.1016/S1567-8326(02)00068-1",
 doi          = "10.1016/S0304-3975(99)00035-3",
 doi          = "10.1145/174652.174658",
 doi          = "10.1007/s00224-009-9201-y",
 doi          = "10.1007/11603009\_18",
 doi          = "10.1007/BFb0039071",
 doi          = "10.1016/0022-0000(85)90012-1",
 doi          = "10.1016/0890-5401(91)90030-6",
 doi          = "10.1016/j.entcs.2004.02.036",
 doi          = "10.1016/j.jlap.2010.07.010",