Formal specification of smart grids for cascading-failures analysis using Alloy modelling language. - Elnaz Javadianpoor; Shohreh Ajoudanian (Int. J. Grid Util. Comput., 2024)