Lauren Pick, Grigory Fedyukovich, Aarti Gupta: Exploiting Synchrony and Symmetry in Relational Verification. CAV (1) 2018: 164-182