Mancuso, R., & Chaki, S. (2018). Verification of OS-level Cache Management. In 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2018).