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