F. Chevrou, A. Hurault, and P. Quéinnec, “Automated Verification of Asynchronous Communicating Systems with TLA+”, ECEASST, vol. 72, Nov. 2015.