The work of Paolo Castello was supported in part by Convenzione triennale tra la Fondazione di Sardegna e gli Atenei Sardi-Regione Sardegna L.R.7/2007 DGR 28/21 through the Project ''Formal Methods and Technologies for the Future of Energy Systems'' under Grant F72F20000350007.