Recursive Operability Analysis as a decision support tool for Risk-Based Maintenance