Mechanization of codes with bounded synchronization delays | IEEE Journals & Magazine | IEEE Xplore