\input zb-basic
\input zb-ioport
\iteman{io-port 70775615}
\itemau{Buffet, Olivier}
\itemti{Reachability analysis for uncertain ssps}
\itemso{ICTAI, 515-522 (2005).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/ICTAI.2005.106}
\end