Verifying Liveness and Real-Time of OS-Based Embedded Software. - Leandro Batista Ribeiro; Drona Nagarajan; Vignesh Manjunath; Muhammad Tanveer Ali Ahmad; Marcel Baunach (DSD, 2022)

Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems. - Drona Nagarajan; Tobias Scheipel; Marcel Baunach (RTNS, 2024)

Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP. - Drona Nagarajan; Tobias Scheipel; Marcel Baunach (SAC, 2024)