New bounds on the cardinality of double synchronization-error-correcting codes | IEEE Conference Publication | IEEE Xplore