Joonwon Choi, Adam Chlipala, Arvind: Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. CAV (2) 2022: 317-339