Availability analysis of periodically inspected systems with random walk model - Cui, L. (2014)
10.1239/jap/1011994177