@inproceedings{FibichWenzlRoessler,
  author    = {Fibich, Christian and Wenzl, Matthias and R{\"o}ssler, Peter},
  title     = {On Automated Generation of Checker Units from Hardware Assertion Languages},
  series = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014},
  booktitle = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014},
  subject      = {Embedded Systems},
  language  = {en}
}