@misc{https://doi.org/10.4121/62dcf604-3009-4e09-a002-52c12e9504fa.v1,
  doi = {10.4121/62dcf604-3009-4e09-a002-52c12e9504fa.v1},
  url = {},
  author = {Tasche, Philip and Herber, Paula and Huisman, Marieke},
  keywords = {deductive verification, embedded systems, real time, RTOS},
  title = {[Artifact] Deductive Verification of Cooperative RTOS Applications},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {MPL 2.0},
}