Checking Delay-Insensitivity: 104 Gates and Beyond. - Alex Kondratyev; Oriol Roig; Lawrence Neukom; Karl Fant; Alexander Taubin (ASYNC, 2002)