\input zb-basic
\input zb-ioport
\iteman{io-port 50077502}
\itemau{Agarwal, M.; Sen, K.; Mohan, P.}
\itemti{GERT analysis of m-consecutive-k-out-of-n systems}
\itemso{IEEE Transactions on Reliability 56, No. 1, 26-34 (2007).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/TR.2006.890894}
\end