@article{RoesslerHoeller,
  author    = {R{\"o}ssler, Peter and H{\"o}ller, Roland},
  title     = {Programmable Logic Devices - Key Components for Today's and Tomorrow's Electronic-Based Systems},
  series = {e\&i (Elektrotechnik und Informationstechnik), Volume 137, Issue 1, 2020},
  volume    = {Vol. 137, 2020},
  journal   = {e\&i (Elektrotechnik und Informationstechnik), Volume 137, Issue 1, 2020},
  number    = {Issue 1, 2020},
  pages     = {7},
  subject      = {Programmable Logic Devices},
  language  = {en}
}
@article{VeiglKlausAigneretal.,
  author    = {Veigl, Christoph and Klaus, Benjamin and Aigner, Benjamin and Wagner, Manuel},
  title     = {Universal Access Panel: A Novel Approach for Accessible Smart Homes and IoT},
  series = {Computers Helping People with Special Needs. ICCHP-AAATE 2022. Lecture Notes in Computer Science},
  volume    = {2022},
  journal   = {Computers Helping People with Special Needs. ICCHP-AAATE 2022. Lecture Notes in Computer Science},
  number    = {Vol. 13342},
  subject      = {Home appliances},
  language  = {en}
}
@article{ScheferWenzlWenzl,
  author    = {Schefer-Wenzl, Sigrid and Wenzl, Matthias},
  title     = {Roboter mit Himbeeren, Ein {\"U}berblick {\"u}ber Roboterbaus{\"a}tze und GPIO Bibliotheken auf Raspberry Pi (2)},
  series = {Entwickler Magazin 2015},
  journal   = {Entwickler Magazin 2015},
  number    = {Entwickler Magazin Juni 2015},
  pages     = {pp 64-68},
  subject      = {Robotic},
  language  = {de}
}
@article{WenzlMerzdovnikWeippl,
  author    = {Wenzl, Matthias and Merzdovnik, Georg and Weippl, Edgar},
  title     = {ISaFe - Injecting Security Features into Constrained Embedded Firmware},
  series = {ERCIM News},
  volume    = {2019},
  journal   = {ERCIM News},
  number    = {119 (2019)},
  pages     = {25 -- 26},
  subject      = {Binary rewriting},
  language  = {en}
}
@article{ReinbacherBrauerHoraueretal.,
  author    = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
  title     = {Runtime verification of microcontroller binary code},
  series = {Elsevier Science of Computer Programming, Volume 80, Part A},
  journal   = {Elsevier Science of Computer Programming, Volume 80, Part A},
  number    = {Elsevier Science of Computer Programming, Volume 80, Part A},
  pages     = {pp. 109-129},
  subject      = {Microcontroller},
  language  = {en}
}
@article{ReinbacherHorauerSchlichetal.,
  author    = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Brauer, J{\"o}rg and Scheuer, Florian},
  title     = {Model Checking Embedded Software of an Industrial Knitting Machine},
  series = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2},
  journal   = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2},
  number    = {Vol. 1, No. 2},
  pages     = {pp. 186-205},
  subject      = {Model Checking},
  language  = {de}
}
@article{HorauerZaunerSchuster,
  author    = {Horauer, Martin and Zauner, Martin and Schuster, Harald},
  title     = {A System-level Test for Automotive Communication Subsystems},
  series = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011},
  journal   = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011},
  number    = {Heft 6.2011},
  pages     = {S. 215-221},
  subject      = {Automotive},
  language  = {en}
}
@article{SchindelboeckPrausGall,
  author    = {Schindelb{\"o}ck, Denise and Praus, Friedrich and Gall, Walter},
  title     = {A Diabetes Self-Management Prototype in an AAL-Environment to Detect Remarkable Health States},
  series = {Proceedings of Health Informatics Meets eHealth 2016},
  journal   = {Proceedings of Health Informatics Meets eHealth 2016},
  pages     = {273 -- 280},
  subject      = {Ambient Assisted Living},
  language  = {en}
}
@article{PrausKastnerPalensky,
  author    = {Praus, Friedrich and Kastner, Wolfgang and Palensky, Peter},
  title     = {Secure Control Applications in Smart Homes and Buildings},
  series = {Journal of Universal Computer Science, Special Issue on Security, Privacy and Reliability of Smart Buildings, 2016},
  journal   = {Journal of Universal Computer Science, Special Issue on Security, Privacy and Reliability of Smart Buildings, 2016},
  subject      = {Smart Building},
  language  = {en}
}
@article{PrausKastnerPalensky,
  author    = {Praus, Friedrich and Kastner, Wolfgang and Palensky, Peter},
  title     = {Secure Control Applications in Smart Homes and Buildings},
  series = {Journal of Universal Computer Science},
  journal   = {Journal of Universal Computer Science},
  subject      = {Smart Homes},
  language  = {en}
}