Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays. - Radhakrishna Nagalla; Graham R. Hellestrand (Formal Methods Syst. Des., 1994)

Elimination of Dynamic Hazards from Signal Transition Graphs. - Radhakrishna Nagalla; Graham R. Hellestrand (VLSI Design, 1996)

A Visual Approach for Asynchronous Circuit Synthesis. - Radhakrishna Nagalla; Graham R. Hellestrand (VLSI Design, 1997)