SAARA/ Publications/ Formalization and theoretical analysis of the Local Effect Model/ Formalization and theoretical analysis of the Local Effect Model