Hierarchical Verification of Asynchronous Circuits Using Temporal Logic. - Bhubaneswaru Mishra; Edmund M. Clarke (Theor. Comput. Sci., 1985)