@inproceedings{WenzlRoesslerPuhm2019,
  author    = {Matthias Wenzl and Peter R{\"o}ssler and Andreas Puhm},
  title     = {Checking Application-level Properties Using Assertion Synthesis},
  booktitle = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA},
  year      = {2019},
}