@inproceedings{WenzlFibichRoessleretal.,
  author    = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin},
  title     = {Logic Synthesis of Assertions for Saftey-critical Applications},
  series = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015},
  booktitle = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015},
  subject      = {Safety},
  language  = {en}
}
@misc{WenzlFibichRoessleretal.,
  author    = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin},
  title     = {Logic Synthesis of Assertions for Saftey-critical Applications},
  subject      = {Safety},
  language  = {en}
}
@article{FibichRoesslerTauneretal.,
  author    = {Fibich, Christian and R{\"o}ssler, Peter and Tauner, Stefan and Taucher, Herbert and Matschnig, Martin},
  title     = {A Netlist-level Fault-injection Tool for FPGAs},
  series = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  journal   = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  number    = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  pages     = {Page 274-281},
  subject      = {FPGA},
  language  = {en}
}