Automatic Detection of MOS Synchronizers for Timing Verification. - Joel Grodstein; Nick Rethman; Rahul Razdan; Gabriel P. Bischoff (ICCAD, 1991)

Static race verification for networks with reconvergent clocks. - Joel Grodstein; Nick Rethman; Nevine Nassif (ICCD, 1998)

Timing verification of the 21264: A 600 MHz full-custom microprocessor. - Emily J. Shriver; Dale H. Hall; Nevine Nassif; Nadir E. Rahman; Nick L. Rethman; Gill Watt; Jim A. Farrell (ICCD, 1998)