Review of the Modelling Approaches for Availability Contracts in the Military Context · Study