Verification of Tempura specification of sequential circuits. - M. Hira; Dipankar Sarkar 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)