Alfonso Sanchez, Formal Method, Elektrikall的 European Connection