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