\input zb-basic
\input zb-ioport
\iteman{io-port 50271201}
\itemau{Meseguer, Jordi; Puig, Vicen\c{c}; Escobet, Teresa}
\itemti{Fault diagnosis using a timed discrete-event approach based on interval observers: application to sewer networks}
\itemso{IEEE Transactions on Systems, Man, and Cybernetics, Part A 40, No. 5, 900-916 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/TSMCA.2010.2052036}
\end