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