doi          = {10.1145/2729094.2742628},
 doi          = {10.1145/3264637.3264649},
 doi          = {10.1007/978-3-319-66845-1\_6},
 doi          = {10.1007/978-3-319-89884-1\_19},
 doi          = {10.23919/FMCAD.2019.8894248},
 doi          = {10.3233/978-1-61499-028-4-152},
 doi          = {10.1007/978-3-642-15057-9\_8},
 doi          = {10.1016/j.scico.2017.05.001},
 doi          = {10.1007/978-0-387-30162-4\_135},
 doi          = {10.1007/978-3-319-29628-9\_1},
 doi          = {10.1007/978-3-540-78800-3\_24},
 doi          = {10.1007/978-3-540-45085-6\_28},
 doi          = {10.1007/978-3-319-94205-6\_35},