@inproceedings{boehm:memocode09,
  title = "Incremental Modelling and Verification of the PCI Express Transaction Layer",
  author = "Peter B\"ohm",
  year = "2009",
  booktitle = "Proceedings of the Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'09)",
  isbn = "978-1-4244-4807-4",
  location = "Cambridge, MA, USA",
  month = "July",
  pages = "36--45",
  publisher = "IEEE Computer Society",
  doi = "10.1109/MEMCOD.2009.5185376",
}