First-Order Linear Temporal Logic for Testing Distributed Protocols. - José João Ferreira; Nuno Policarpo; José Fragoso Santos; Alcino Cunha; Alessandro Gianola (OVERLAY, 2025)