Frank te Beest, Ad M. G. Peeters, Marc Verra, Kees van Berkel, Hans G. Kerkhoff: Automatic Scan Insertion and Test Generation for Asynchronous Circuits. ITC 2002: 804-813