\input zb-basic
\input zb-ioport
\iteman{io-port 70025808}
\itemau{Garousi, Vahid}
\itemti{Traffic-aware stress testing of distributed real-time systems based on UML models in the presence of time uncertainty}
\itemso{ICST, 92-101 (2008).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/ICST.2008.7}
\end