Automating Security Monitoring and Analysis for Space Station Freedom's Electric Power System | IEEE Conference Publication | IEEE Xplore