Formal Analysis and Design of Software Systems – Grupo de investigación validado por la UCM con número 910398.