A failure-dependency modeling and state discretization approach for condition-based maintenance optimization of multi-component systems. (April 2018)