@article{HorauerWidhalmTauneretal.2015,
  author    = {Martin Horauer and Dominik Widhalm and Stefan Tauner and Stefan Mirtl},
  title     = {Verification challenges of complex system-on-chip devices},
  journal   = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  number    = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  year      = {2015},
}