D4.1 Analysis of grid infrastructure conditions and pilot site formal analysis