A Refinement Approach to Design and Verification of On−Chip Communication Protocols - Böhm, P; Melham, T (IEEE, 2008)