Envoyer la notice par courriel: A Comparative Study of Optimization Models for Condition-Based Maintenance Scheduling of an Aircraft Fleet