Model-based synthesis of sensor location | IEEE Conference Publication | IEEE Xplore