A methodology for integrated critical spare parts and insurance management