Distributed systems verification using Why3 - Gonçalves, António Manuel Carvalho (2024)