The following pages link to 17919173. AUTOMATED REASONING FOR EVENT MANAGEMENT IN CLOUD PLATFORMS simplified abstract (Telefonaktiebolaget LM Ericsson (publ)):