A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS. - Francisco José Alfaro; José L. Sánchez 002; M. Menduiña; José Duato (IEEE Trans. Computers, 2007)