Design and Verification of On−Chip Communication Protocols - Böhm, P; Melham, T (Oxford University Computing Laboratory, 2015)