@STRING{ictus   = {International Conference on Infocom Technologies and Unmanned Systems} }
@inproceedings{DG:2017,
  author    = {Rolf Drechsler and Daniel Gro{\ss}e},
  title     = {Verifying Next Generation Electronic Systems},
  booktitle = ictus,
  pages     = {6--10},
  year      = {2017}
}