A Compositional Approach for Verifying Protocols Running on On-Chip Networks | IEEE Journals & Magazine | IEEE Xplore