Software security assurance of electrical grid systems | IEEE Conference Publication | IEEE Xplore