Resiliency-Aware Deployment of SDN in Smart Grid SCADA: A Formal Synthesis Model | IEEE Journals & Magazine | IEEE Xplore