\input zb-basic
\input zb-ioport
\iteman{io-port 70160957}
\itemau{Xiang, Jianwen; Futatsugi, Kokichi; He, Yanxiang}
\itemti{Formal construction model and specification of fault tree}
\itemso{IASTED Conf. on Software Engineering and Applications, 374-381 (2004).}
\itemcc{}
\itemut{}
\itemli{}
\end