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