@misc{WenzlFibichRoessleretal.,
  author    = {Matthias Wenzl and Christian Fibich and Peter R{\"o}ssler and Herbert Taucher and Martin Matschnig},
  title     = {Logic Synthesis of Assertions for Saftey-critical Applications},
  institution = {Department Electronic Engineering},
  type      = {vortrag},
}