\input zb-basic
\input zb-ioport
\iteman{io-port 70107076}
\itemau{Jayaram, K. R.; Eugster, Patrick}
\itemti{Program analysis for event-based distributed systems}
\itemso{DEBS, 113-124 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/2002259.2002278}
\end