Viktorov, Y.; Gotmanov, A. Verification of Latency Bounds in Communication Fabrics. ICS 2012, 43–52.