@inproceedings{bm:fmcad08,
  title = "A Refinement Approach to Design and Verification of On-Chip Communication Protocols",
  author = "Peter B{\"o}hm and Tom Melham",
  year = "2008",
  booktitle = "Proceedings of the Eighth Conference on Formal Methods in Computer-Aided Design (FMCAD'08)",
  isbn = "978-1-4244-2735-2",
  location = "Portland, OR, USA",
  month = "November",
  pages = "136--143",
  publisher = "IEEE Computer Society",
  doi = "10.1109/FMCAD.2008.ECP.22",
}