Formal Specification of a Consent Model for Personal Data Access Control. - Bruno Lartigau; Carlos Luna 001 (CLEI, 2025)