doi = {10.1007/11672142\_43}, doi = {10.1016/j.tcs.2012.07.010}, doi = {10.1109/SFCS.1991.185392}, doi = {10.2168/LMCS-9(2:6)2013}, doi = {10.1007/978-3-642-04761-9\_15}, doi = {10.1051/ita/2011124}, doi = {10.1016/j.ic.2015.06.005}, doi = {10.1007/978-3-642-37075-5\_3}, doi = {10.1007/978-3-319-27810-0\_8}, doi = {10.14279/tuj.eceasst.23.324}, doi = {10.1007/3-540-46541-3\_24}, doi = {10.1016/S0020-0190(98)00150-1}, doi = {10.1007/978-3-319-24644-4\_9}, doi = {10.1007/978-3-540-87531-4\_27}, doi = {10.1007/10722167\_18}, doi = {10.1016/S0304-3975(98)00009-7},