doi          = {10.1007/978-3-319-46982-9_27},
 doi          = {10.1007/978-3-319-21668-3_21},
 doi          = {10.4204/EPTCS.174.3},
 doi          = {10.1145/227595.227602},
 doi          = {10.1007/978-3-642-19835-9_21},
 doi          = {10.1109/CDC.2016.7798967},
 doi          = {10.1007/978-3-319-24953-7_35},
 doi          = {10.1109/EMSOFT.2015.7318257},
 doi          = {10.1007/978-3-642-14295-6_17},
 doi          = {10.1007/978-3-642-15297-9_9},
 doi          = {10.1016/j.tcs.2009.06.021},
 doi          = {10.1016/0022-0000(81)90036-2},
 doi          = {10.1007/978-3-540-30206-3_12},
 doi          = {10.1145/229542.229547},
 doi          = {10.1145/2933575.2935317},
 doi          = {10.1145/2185632.2185653},
 doi          = {10.1109/TIT.2011.2182033},
 doi          = {10.1145/2656045.2656061},
 doi          = {10.1109/CDC.2013.6760488},