\input zb-basic
\input zb-ioport
\iteman{io-port 70775774}
\itemau{Pencol\'e, Yannick}
\itemti{All from one, one for all, failure diagnosis of discrete event systems using representatives}
\itemso{ICTAI, 208-212 (2003).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/TAI.2003.1250192}
\end