CSim²: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. - SANAN, DAVID; YONGWANG ZHAO; SHANG-WEI LIN; LIU YANG (ACM Transactions on Programming Languages & Systems, 2021)