@misc{indiciae19209ccb222b,
  title = {Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control},
  author = {Maryam Bagheri and Marjan Sirjani and Ehsan Khamespanah and Christel Baier and Ali Movaghar},
  year = {2021},
  url = {https://arxiv.org/abs/1905.06732},
  note = {Source identifier: 1905.06732}
}