Formal model of a data center with a redundant ring topology Academic Article 2023 uri icon