@STRING{codesisss = {IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis} }
@InProceedings{OKM+:2012,
  author        = {Marcio F. S. Oliveira and Christoph Kuznik and Wolfgang M\"uller and Finn Haedicke and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler and Wolfgang Ecker and Volkan Esen},
  title         = {The System Verification Methodology for Advanced {TLM} Verification},
  booktitle     = codesisss,
  pages         = {313--322},
  year          = 2012
}