A computational method for finding the availability of opportunistically maintained multi-state systems with non-exponential distributions. (1st September 2020)