doi          = "10.1007/978-3-540-76637-7\_19",
 doi          = "10.1109/SFCS.1983.50",
 doi          = "10.1016/0304-3975(94)00021-2",
 doi          = "10.1051/ita/2009015",
 doi          = "10.1016/j.entcs.2004.04.048",
 doi          = "10.1007/978-3-540-24849-1\_19",
 doi          = "10.1007/3-540-52753-2\_47",
 doi          = "10.1016/0304-3975(92)90042-E",
 doi          = "10.1007/BFb0049337",
 doi          = "10.1016/S0304-3975(00)00355-8",