\input zb-basic \input zb-ioport \iteman{io-port 50077125} \itemau{Guo, Huairui; Jin, Tongdan; Mettas, Adamantios} \itemti{Designing reliability demonstration tests for one-shot systems under zero component failures} \itemso{IEEE Transactions on Reliability 60, No. 1, 286-294 (2011).} \itemcc{} \itemut{} \itemli{doi:10.1109/TR.2010.2085552} \end