Maroua Ben Slimane, Imene Ben Hafaiedh, Riadh Robbana. Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin. IEEE Design & Test of Computers, 34(5):54-62, 2017. [doi]
Abstract is missing.