Formalization and configuration methodology for high-radix combined switches | Publicación