Cyber infrastructure for the smart electric grid. (2020)