\input zb-basic
\input zb-ioport
\iteman{io-port 70858876}
\itemau{Zhang, Haibin; Duan, Zhenhua; Huang, Bohu; Wang, Xiaobing; Zhang, Long}
\itemti{Model checking rectangular hybrid systems with timed computation tree logic}
\itemso{TASE, 126-131 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/TASE.2010.18}
\end