Formal Analysis of Solar Power and Weather Data | Publicación