The Micon system for computer design. - William P. Birmingham; Anurag P. Gupta; Daniel P. Siewiorek (IEEE Micro, 1989)

ASSURE: Automated Design for Dependability. - Patrick Edmond; Anurag P. Gupta; Daniel P. Siewiorek; Audrey A. Brennan (DAC, 1990)

Automating the design of computer systems - the MICON project. - William P. Birmingham; Anurag P. Gupta; Daniel P. Siewiorek (Jones and Bartlett Publishers, 1992)

Automating the design of computer systems. - Anurag P. Gupta; William P. Birmingham; Daniel P. Siewiorek (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs. - Anurag P. Gupta; Daniel P. Siewiorek (DAC, 1994)