\input zb-basic
\input zb-ioport
\iteman{io-port 70581054}
\itemau{Arapinis, Myrto; Ritter, Eike; Ryan, Mark Dermot}
\itemti{Statverif: verification of stateful processes}
\itemso{CSF, 33-47 (2011).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/CSF.2011.10}
\end