\input zb-basic
\input zb-ioport
\iteman{io-port 70112043}
\itemau{Jha, Susmit; Seshia, Sanjit A.; Tiwari, Ashish}
\itemti{Synthesis of optimal switching logic for hybrid systems}
\itemso{EMSOFT, 107-116 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/2038642.2038660}
\end