Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach. Verifying Liveness and Real-Time of OS-Based Embedded Software. In 25th Euromicro Conference on Digital System Design, DSD 2022, Maspalomas, Spain, August 31 - Sept. 2, 2022. pages 679-688, IEEE, 2022. [doi]
Abstract is missing.