Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. - Morten Krogh-Jespersen; Amin Timany; Marit Edna Ohlenbusch; Simon Oddershede Gregersen; Lars Birkedal (ESOP, 2020)