Desai, A., et al.. Compositional Programming and Testing of Dynamic Distributed Systems. no. OOPSLA, Association for Computing Machinery (ACM), Oct. 2018, doi:10.1145/3276529.