\input zb-basic
\input zb-ioport
\iteman{io-port 70094626}
\itemau{Hine, Cameron M.; Schneider, Jean-Guy; Han, Jun; Versteeg, Steven}
\itemti{Modelling enterprise system protocols and trace conformance}
\itemso{Australian Software Engineering Conference, 35-44 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/ASWEC.2010.40}
\end