@inproceedings{WenzlFibichRoessleretal.2015,
  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},
  booktitle = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015},
  year      = {2015},
}