@misc{indiciaef60c2efd2667,
  title = {System Design in the Era of IoT --- Meeting the Autonomy Challenge},
  author = {Joseph Sifakis},
  year = {2018},
  doi = {10.4204/eptcs.272.1},
  url = {https://arxiv.org/abs/1806.09846},
  note = {Source identifier: 1806.09846}
}