Brayton, Robert K.: Integrating Functional and Temporal Domains in Logic Design