Chevrou, F.; Hurault, A.; Quéinnec, P. Automated Verification of Asynchronous Communicating Systems With TLA+. ECEASST 2015, 72.