\input zb-basic
\input zb-ioport
\iteman{io-port 70004986}
\itemau{Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus R.}
\itemti{Timed automata can always be made implementable}
\itemso{CONCUR, 76-91 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-23217-6\_6}
\end