A computational method for finding the availability of opportunistically maintained multi-state systems with non-exponential distributions. - Naichao Wang; Yu (Chelsea) Jin; Lin Ma; Haitao Liao (IISE Trans., 2020)