Verification and implementation of delay-insensitive processes in restrictive environments | IEEE Conference Publication | IEEE Xplore