Rapid Top-Down Synthesis of Large-Scale IoT Networks | IEEE Conference Publication | IEEE Xplore