\input zb-basic
\input zb-ioport
\iteman{io-port 05450446}
\itemau{Nelson, Curtis A.; Myers, Chris J.; Yoneda, Tomohiro}
\itemti{Efficient verification of hazard-freedom in gate-level timed asynchronous circuits.}
\itemso{IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 26, No. 3, 592-605 (2007).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/TCAD.2006.883912}
\end