Hemangee K. Kapoor Mark B. Josephs Dennis P. Furey Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. 89-98 2004 conf/acsd/2004 ACSD http://csdl.computer.org/comp/proceedings/acsd/2004/2077/00/20770089abs.htm db/conf/acsd/acsd2004.html#KapoorJF04