European Connection by Alfonso Sanchez, Formal Method, Elektrikall