High-level modelling and detection of the faulty behaviour of VOQ switches under balanced traffic | IEEE Conference Publication | IEEE Xplore