Garth Baulch David Hemmendinger Cherrice Traver Analyzing and verifying locally clocked circuits with the concurrency workbench. 144-147 1995 conf/glvlsi/1995 Great Lakes Symposium on VLSI http://doi.ieeecomputersociety.org/10.1109/GLSV.1995.516041 db/conf/glvlsi/glvlsi1995.html#BaulchHT95