Placement of PMUs to Enable Bad Data Detection in State Estimation | Synapse