@inproceedings{raffeck:2024:lctes,
  title = {{WoCA}: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States},
  author = {Raffeck, Phillip and Maier, Johannes and Wägemann, Peter},
  year = {2024},
  booktitle = {Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '24)},
  url = {https://sys.cs.fau.de/publications/2024/raffeck_24_lctes.pdf},
  doi = {10.1145/3652032.3657569},
  slides = {https://sys.cs.fau.de/publications/emsyg/slides/2024-lctes-raffeck.pdf}
}