A software environment for designing delay-insensitive circuits by B. van Gompel