Introduction edited
Methodology edited
Methodology edited
Formal framework edited