Text this: Deductive Verification of Cooperative RTOS Applications.