@inproceedings{boehm:dcc10,
  title = "A Formalised Framework for Incremental Modelling of On-Chip Communication",
  author = "Peter B\"ohm",
  year = "2010",
  booktitle = "Participants' Proceedings of the Eighth International Workshop on Designing Correct Circuits (DCC'08), a satellite event of the ETAPS 2010 conferences",
  location = "Paphos, Cyprus",
  month = "March",
  note = "to appear",
}