\input zb-basic
\input zb-ioport
\iteman{io-port 70804402}
\itemau{Eilers, Dan; Koskinen, Tero}
\itemti{Making the non-executable ACATS tests executable}
\itemso{SIGAda, 75-80 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/2070337.2070361}
\end