\input zb-basic
\input zb-ioport
\iteman{io-port 71020418}
\itemau{Goto, Takaaki; Shiono, Yasunori; Nishino, Tetsuro; Yaku, Takeo; Tsuchida, Kensei}
\itemti{Behavioral verification in hichart development environment for embedded software}
\itemso{ACIS-ICIS, 337-340 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/ICIS.2010.119}
\end