Model-based synthesis of sensor location | Synapse