High-Level Modelling and Detection of the Faulty Behaviour of VOQ Switches under Balanced Traffic | Publicación