The paper Deductive Verification of Cooperative RTOS Applications (DOI) written by Philip Tasche, Paula Herber and Marieke Huisman has been accepted at EMSOFT 2025. The accompanying artifact (DOI) also received the Available, Reusable and Results Reproduced badges.