\input zb-basic
\input zb-ioport
\iteman{io-port 70643810}
\itemau{Puschner, Peter P.; Nossal, Roman}
\itemti{Testing the results of static worst-case execution-time analysis}
\itemso{IEEE Real-Time Systems Symposium, 134-143 (1998).}
\itemcc{}
\itemut{}
\itemli{http://dlib.computer.org/conferen/rtss/9212/pdf/92120134.pdf}
\end