Integrating Functional and Temporal Domains in Logic Design The False Path Problem and Its Implications - McGeer, Patrick C.; Brayton, Robert K. (Springer US, 1991)