Integrating Functional And Temporal Domains In Logic Design by Robert K. Brayton