Modelling a flexible two-phase inspection-maintenance policy for safety-critical systems considering revised and non-revised inspections.