1 Table of Contents: “... based on electric mobility. Case study: City of León (Spain)2 -- Software validation techniques...”