Causal Consistency Verification in Restful Systems - Rodrigues, Hugo Miguel Grilo (2022)