1. A formal modeling approach for portable low-level OS functionality;Gomes,2020
2. ORIENTAIS: Formal verified OSEK/VDX real-time operating system;Shi,2012
3. Binary code level verification for interrupt safety properties of real-time operating system;Shi,2012
4. Progress on the state explosion problem in model checking;Clarke,2001
5. OTAWA: An open toolbox for adaptive WCET analysis;Ballabriga,2010