\input zb-basic
\input zb-ioport
\iteman{io-port 70589696}
\itemau{Chiaradonna, Silvano; Bondavalli, Andrea; Strigini, Lorenzo}
\itemti{On performability modeling and evaluation of software fault tolerant structures}
\itemso{EDCC, 97-114 (1994).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-58426-9\_126}
\end