\input zb-basic
\input zb-ioport
\iteman{io-port 50015959}
\itemau{Dong, Jin Song; Hao, Ping; Qin, Shengchao; Sun, Jun; Yi, Wang}
\itemti{Timed automata patterns}
\itemso{IEEE Trans. Software Eng. 34, No. 6, 844-859 (2008).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/TSE.2008.52}
\end