EP2885710A2 - COMPARING REDUNDANCY MODELS FOR DETERMINATION OF AN AVAILABILITY MANAGEMENT FRAMEWORK (AMF) CONFIGURATION AND RUNTIME ASSIGNMENT OF A HIGH AVAILABILITY SYSTEM