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