@techreport{RR-08-05,
  title = "Design and Verification of On-Chip Communication Protocols",
  author = "Peter B{\"o}hm and Tom Melham",
  year = "2008",
  institution = "OUCL",
  month = "April",
  number = "RR-08-05",
  pages = "16",
  url = "http://web2.comlab.ox.ac.uk/oucl/publications/tr/RR-08-05.html",
}