@inproceedings{HP08,
  author = {Claude Helmstetter and Olivier Ponsini},
  title = {A Comparison of Two {SystemC}/{TLM} Semantics for
          Formal Verification},
  booktitle = {Proceedings of the 6th {ACM}-{IEEE} International
	      Conference on Formal Methods and Models for Codesign
	      {MEMOCODE}'2008},
  year = {2008},
  month = jun
}