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