@article{bohm:tcad10,
  title = "Incremental and Verified Modelling of the PCI Express Protocol",
  author = "Peter B\"ohm",
  year = "2010",
  booktitle = "IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems",
  journal = "IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems",
  note = "14 pages, to appear",
  publisher = "IEEE",
}