@masterthesis{haeberlein:2024:ma,
  title = {Watwa-OS: A Minimalistic, Statically Analyzable Operating System for Resource-Constrained Real-Time Systems},
  author = {Häberlein, Tobias},
  year = {2024},
  url = {https://sys.cs.fau.de/extern/person/haeberlein/pdfs/ma-haeberlein.pdf},
  slides = {https://sys.cs.fau.de/extern/person/haeberlein/pdfs/ma-haeberlein-slides.pdf},
  school = {Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)}
}