Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids | IEEE Conference Publication | IEEE Xplore