Race Detection for Two-Phase Systems. - Joel Grodstein; Jim Montanaro; Susanne Marino (ICCAD, 1990)