@inproceedings{BenederGlatzHoraueretal.2014,
  author    = {Roman Beneder and Bernd Glatz and Martin Horauer and Thomas Rauscher},
  title     = {Runtime Verification Infrastructure for Embedded Linux},
  booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014},
  year      = {2014},
}