Verification of Symbolic Distributed Protocols for Networked Embedded Devices. - Andrea Augello; Rosolino D'Antoni; Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ETFA, 2020)