Review of Quantitative Methods for Designing Availability-Based Contracts. Issue 1 (2nd January 2016)