Reductions and abstractions for formal verification of distributed round-based algorithms. - Barbosa, Raul; Fonseca, Alcides; Araujo, Filipe (Software Quality Journal, 2021)