A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements | IEEE Journals & Magazine | IEEE Xplore