\input zb-basic \input zb-ioport \iteman{io-port 70279388} \itemau{De Lemos, Rog\'erio; Fabre, Jean-Charles; Gacek, Cristina} \itemti{Workshop on architecting dependable systems (WADS 2008)} \itemso{DSN, 548-549 (2008).} \itemcc{} \itemut{} \itemli{http://doi.ieeecomputersociety.org/10.1109/DSN.2008.4630128} \end