Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control | Synapse