Automating security monitoring & analysis for Space Station Freedom's electric power system