Synchronization and substitution error-correcting codes for the Levenshtein metric | IEEE Journals & Magazine | IEEE Xplore