@inproceedings{TraulsenCMM07,
  author = {Claus Traulsen and Jerome Cornet and Matthieu Moy and Florence Maraninchi},
  title = {A {SystemC/TLM} semantics in {Promela} and its possible applications},
  booktitle = {Proceedings of the 14th Workshop on Model Checking Software (SPIN '07)},
  year = {2007},
  address = {Berlin, Germany},
  month = {July},
  pdf = {spin07.pdf},
}