@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}
}
@misc{FibichTaunerRoessleretal.,
  author    = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Matschnig, Martin and Taucher, Herbert},
  title     = {Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu},
  subject      = {FPGA},
  language  = {en}
}