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), pp. 37–42, Jul. 2018.