@STRING{ddecs_symp = {IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems} }
@InProceedings{BGD:2011b,
  author        = {Mohamed Bawadekji and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {{TLM} Protocol Compliance Checking at the Electronic System Level},
  pages         = {435--440},
  booktitle     = ddecs_symp,
  year          = 2011
}