@STRING{itti	= {it+ti} }
@Article{GD:2003b,
  language      = {german},
  author        = {Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {{Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC}},
  journal       = itti,
  year          = 2003,
  volume        = {4},
  pages         = {219--226},
  public        = {no}
}