\input zb-basic \input zb-ioport \iteman{io-port 50234021} \itemau{Miao, Qiang; Liu, Liu; Feng, Yuan; Pecht, Michael} \itemti{Complex system maintainability verification with limited samples} \itemso{Microelectronics Reliability 51, No. 2, 294-299 (2011).} \itemcc{} \itemut{} \itemli{doi:10.1016/j.microrel.2010.09.012} \end