@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}
}