Failure Recovery in the MICON System. - Ajay J. Daga; William P. Birmingham (DAC, 1990)

The Minimization and Decomposition of Interface State Machines. - Ajay J. Daga; William P. Birmingham (DAC, 1994)

A symbolic-simulation approach to the timing verification of interacting FSMs. - Ajay J. Daga; William P. Birmingham (ICCD, 1995)

The accurate and efficient timing verification of interacting finite state machines. - Ajay J. Daga (1995)

Interface Timing Verification Drives System Design. - Ajay J. Daga; Peter Suaris (DAC, 1997)

Interface finite-state machines: definition, minimization, and decomposition. - Ajay J. Daga; William P. Birmingham (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)

Automated timing model generation. - Ajay J. Daga; Loa Mize; Subramanyam Sripada; Chris Wolff; Qiuyang Wu (DAC, 2002)