A Sequentialization Procedure for Fault-Tolerant Protocols. - Cezara Dragoi; Patricio Inzaghi Pronesti (VSTTE, 2022)