Deductive Verification of Cooperative RTOS Applications. - Tasche, Philip; Herber, Paula; Huisman, Marieke (ACM Transactions on Embedded Computing Systems, 2025)