Bridging Industrial Control Systems Design and Testing Through Threat Modeling-Driven Penetration Testing – A Microgrid Case Study | Synapse