@misc{indiciae9b57bdac30a2,
  title = {Rapid Top-Down Synthesis of Large-Scale IoT Networks},
  author = {Pradipta Ghosh and Jonathan Bunton and Dimitrios Pylorof and Marcos Vieira and Kevin Chan and Ramesh Govindan and Gaurav Sukhatme and Paulo Tabuada and Gunjan Verma},
  year = {2020},
  url = {https://arxiv.org/abs/2002.04244},
  note = {Source identifier: 2002.04244}
}