Availability modeling for multi-tier cloud environment. Issue 3 (3rd July 2017)